логический элемент эквивалентности
1Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …
2МИФ — (греч. слово, речь, предание) язык описания, оказавшийся, благодаря своей исконной символичности, удобным для выражения вечных моделей личного и общественного поведения, неких сущностных законов социального и природного космоса. М. является… …
3Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …
4Универсальная алгебра — Не следует путать с универсальной алгеброй  одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра  раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… …
5ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …
6АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
7Лемма Куратовского — Цорна — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхную грань, содержит максимальный элемент. Лемма носит… …
8Лемма Куратовского — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхнюю грань, содержит максимальный элемент. Лемма …
9Сравнение (программирование) — У этого термина существуют и другие значения, см. Сравнение. Сравнение в программировании  общее название ряда операций над парами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие …
10ПРИНЦИП АБСТРАКЦИИ — логический (теоретико множественный) принцип, лежащий в основе определений через абстракцию. Согласно П. а., любое отношение типа равенства, определенное на нек ром множестве объектов, может служить для распределения (разбиения) объектов этого… …
