24 отношения: Клини, Стивен Коул, Конъюнкция, КМОП, Отрицание, Ассоциативная операция, Аймара (язык), Научно-исследовательский вычислительный центр МГУ, Нечёткая логика, Сетунь (компьютер), Троичный триггер, Троичный компьютер, Троичные функции, Таблица истинности, Мучник, Андрей Альбертович, Максимальные и минимальные элементы, Многозначная логика, Импликация, Закон исключённого третьего, Закон противоречия, Брусенцов, Николай Петрович, Дизъюнкция, Лукасевич, Ян, 1920 год, 1959 год в науке.
Клини, Стивен Коул
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости.
Новый!!: Троичная логика и Клини, Стивен Коул · Узнать больше »
Конъюнкция
Конъю́нкция (от conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и».
Новый!!: Троичная логика и Конъюнкция · Узнать больше »
КМОП
Последовательность операций травления и осаждения для получения типовой КМОП-структуры «НЕ» на КМОП КМОП (комплементарная структура металл-оксид-полупроводник; CMOS, complementary metal-oxide-semiconductor) — набор полупроводниковых технологий построения интегральных микросхем и соответствующая ей схемотехника микросхем.
Новый!!: Троичная логика и КМОП · Узнать больше »
Отрицание
Отрица́ние, инве́рсия (от inversio — «переворот»), логи́ческое «НЕ» в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному.
Новый!!: Троичная логика и Отрицание · Узнать больше »
Ассоциативная операция
Ассоциати́вная опера́ция — это бинарная операция \circ, обладающая ассоциативностью (associatio — соединение), или сочетательностью: Для ассоциативной операции результат вычисления x_1\circ x_2\circ\ldots\circ x_n не зависит от порядка вычисления (расстановки скобок), и потому позволяется опускать скобки в записи.
Новый!!: Троичная логика и Ассоциативная операция · Узнать больше »
Аймара (язык)
Распространение языка аймара. Аймара́ (Aymar aru) — язык народа аймара, живущего в Андах.
Новый!!: Троичная логика и Аймара (язык) · Узнать больше »
Научно-исследовательский вычислительный центр МГУ
Вычислительный центр Московского государственного университета — научное подразделение Московского государственного университета имени М. В. Ломоносова.
Новый!!: Троичная логика и Научно-исследовательский вычислительный центр МГУ · Узнать больше »
Нечёткая логика
Нечёткая логика (fuzzy logic) — раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечёткого множества, впервые введённого Лютфи Заде в 1965 году как объекта с функцией принадлежности элемента к множеству, принимающей любые значения в интервале, а не только 0 или 1.
Новый!!: Троичная логика и Нечёткая логика · Узнать больше »
Сетунь (компьютер)
«Се́тунь» — малая ЭВМ на основе троичной логики, разработанная в вычислительном центре Московского государственного университета в 1959 году.
Новый!!: Троичная логика и Сетунь (компьютер) · Узнать больше »
Троичный триггер
Троичный триггер (ternary trigger, ternary latch, ternary flip-flop) — электронное, механическое, пневматическое, гидравлическое, оптическое или другое устройство, имеющее три устойчивых состояния, возможность переключения из любого одного из трёх устойчивых состояний в любое из двух других устойчивых состояний и возможность определения, в каком из трёх устойчивых состояний находится это устройство.
Новый!!: Троичная логика и Троичный триггер · Узнать больше »
Троичный компьютер
Троичный компьютер — компьютер, построенный на двоичных и троичных логических элементах и узлах, работающий в двоичной и троичной системе счисления по законам двоичной и троичной логики с применением двоичных и троичных алгоритмов.
Новый!!: Троичная логика и Троичный компьютер · Узнать больше »
Троичные функции
Троичной функцией в теории функциональных систем и троичной логике называют функцию типа \mathsf^n\to\mathsf, где \mathsf.
Новый!!: Троичная логика и Троичные функции · Узнать больше »
Таблица истинности
Таблица истинности — это таблица, описывающая логическую функцию.
Новый!!: Троичная логика и Таблица истинности · Узнать больше »
Мучник, Андрей Альбертович
Андрей Альбертович Мучник (24 февраля 1958 года — 18 марта 2007 года) — советский и российский, лауреат премии имени А. Н. Колмогорова (2006).
Новый!!: Троичная логика и Мучник, Андрей Альбертович · Узнать больше »
Максимальные и минимальные элементы
Элемент M частично упорядоченного множества A называется максимальным элементом, если.
Новый!!: Троичная логика и Максимальные и минимальные элементы · Узнать больше »
Многозначная логика
Многозна́чная ло́гика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний.
Новый!!: Троичная логика и Многозначная логика · Узнать больше »
Импликация
Импликация (от implicatio — «связь») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Новый!!: Троичная логика и Импликация · Узнать больше »
Закон исключённого третьего
Закон исключённого третьего (tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых формулирует отрицание другого, не могут быть одновременно ложными.
Новый!!: Троичная логика и Закон исключённого третьего · Узнать больше »
Закон противоречия
Закон противоречия (закон непротиворечия) — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными.
Новый!!: Троичная логика и Закон противоречия · Узнать больше »
Брусенцов, Николай Петрович
Никола́й Петро́вич Брусенцо́в (7 февраля 1925 — 4 декабря 2014) — главный конструктор троичной ЭВМ «Сетунь», заслуженный научный сотрудник МГУ.
Новый!!: Троичная логика и Брусенцов, Николай Петрович · Узнать больше »
Дизъюнкция
Дизъю́нкция (от disjunctio — «разобщение»), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Новый!!: Троичная логика и Дизъюнкция · Узнать больше »
Лукасевич, Ян
Ян Лукасе́вич (правильно: Лукашевич, Jan Łukasiewicz;, —) — польский логик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.
Новый!!: Троичная логика и Лукасевич, Ян · Узнать больше »
1920 год
Без описания.
Новый!!: Троичная логика и 1920 год · Узнать больше »
1959 год в науке
В 1959 году были различные научные и технологические события, некоторые из которых представлены ниже.
Новый!!: Троичная логика и 1959 год в науке · Узнать больше »
Перенаправления здесь:
Трехзначная логика, Трёхзначная логика.