- знак логической операции
-
Boolean operator, logical operator
Англо-русский словарь технических терминов. 2005.
знак логической операции
Смотреть что такое "знак логической операции" в других словарях:
Сложение по модулю 2 — Рис. 1 График побитового исключающего «или» Сложение по модулю 2 (логическое сложение, исключающее «ИЛИ», строгая дизъюнкция, XOR, поразрядное дополнение, побитовый комплемент) булева функция, а также … Википедия
Знаки математические — условные обозначения, предназначенные для записи математических понятий, предложений и выкладок. Например, √2 (квадратный корень из двух), 3 > 2 (три больше двух) и т.п. Развитие математической символики было тесно… … Большая советская энциклопедия
Амперсанд — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения … Википедия
инвертор — а; м. Устройство для преобразования постоянного электрического тока в переменный. * * * инвертор 1) электронное устройство, выходная величина (сигнал) которого повторяет (с усилением или без) входную величину (сигнал), но имеет противоположный… … Энциклопедический словарь
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
＆ — Амперсанд (иногда амперсенд; от англ. ampersand) название знака « ». Содержание 1 Происхождение 2 Название … Википедия
ОПРЕДЕЛЕНИЕ, — ОПРЕДЕЛЕНИЕ, дефиниция (от лат. «definitio» – «предел», «граница») – логическая процедура придания строго фиксированного смысла терминам языка. Т.к. значения терминов зависят от их смыслов, то всякий раз, придавая через определение какой либо… … Философская энциклопедия
Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где троичное множество, а неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества цифровые… … Википедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
