тернарное

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

    Википедия

  • 2Тернарное — …

    Википедия

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

    Философская энциклопедия

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

    Философская энциклопедия

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

    Математическая энциклопедия

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

    Математическая энциклопедия

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

    Википедия

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

    Википедия

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

    Википедия

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

    Википедия