Тернарное

Смотреть что такое "Тернарное" в других словарях:

• Тернарное отношение — частный случай n арного алгебраического отношения с n=3 n aрное отношение на множестве М называется подмножество декартова произведения M x M x M x…M (n раз умножить)или Mn (т.е подмножество множества всех упорядоченных n ок элементов из M)… …   Википедия

• СВОЙСТВО — (греч. idion; лат. proprium) то, что присуще к. л. предмету и характеризует его само по себе, а не говорит о его отношении с некоторыми др. объектами. В логике Аристотеля С. то, что присуще всем членам некоторого вида и специфично для них; в… …   Философская энциклопедия

• ПОРЯДКА ОТНОШЕНИЕ — бинарное (двуместное, двучленное) отношение, обладающее свойствами иррефлек сивности (см. Рефлексивность) и транзитивности (из чего следует также его антисимметричность, см. Симметричность). П. о. упорядочивает элементы множества, на к ром оно… …   Философская энциклопедия

• АВТОМАТ КОНЕЧНЫЙ — математическая модель устройства с конечной памятью, преобразующего дискретную информацию. А. к. является одним из важнейших видов управляющих сиcтем. Содержательно А. к. можно охарактеризовать как устройство, имеющее входной и выходной каналы и… …   Математическая энциклопедия

• АЛЬТЕРНАТИВНЫЕ КОЛЬЦА И АЛГЕБРЫ — Альтернативным кольцом (А. к.) наз. кольцо, в к ром каждые два элемента порождают ассоциативное подкольцо; альтернативной алгеброй (А. а.) наз. линейная алгебра, являющаяся А. к. Согласно теореме Артина класс всех А. к. задается системой тождеств …   Математическая энциклопедия

• Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …   Википедия

• Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… …   Википедия

• Сложение по модулю 2 — Рис. 1 График побитового исключающего «или» Сложение по модулю 2 (логическое сложение, исключающее «ИЛИ», строгая дизъюнкция, XOR, поразрядное дополнение, побитовый комплемент)  булева функция, а также …   Википедия

• Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

• Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …   Википедия