арность
11АЛГЕБРАИЧЕСКАЯ РЕШЕТКА — компактно порожденная решетка, решетка, каждый элемент к рой является объединением (т. е. точной верхней гранью) нек рого множества компактных элементов. Решетка изоморфна решетке подалгебр нек рой универсальной алгебры тогда и только тогда,… …
12Бинарная операция — (от лат. bi два)  математическая операция, принимающая два аргумента и возвращающая один результат (то есть с арностью два). Содержание 1 Определение 2 Замечание …
13Логика первого порядка — (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 …
14Валентность (значения) — Валентность (от лат. valentia  сила) в общем случае  способность объекта взаимодействовать с другими объектами. Точное значение термина зависит от конкретной дисциплины, в которой он используется. Валентность в лингвистике … …
15Оператор (математика) — У этого термина существуют и другие значения, см. Оператор. Оператор (позднелат. operator  работник, исполнитель, от operor  работаю, действую)  то же, что отображение в математике. Термин оператор встречается в разных… …
16Многосортная алгебра — Под многосортной алгеброй понимают некоторое множество объектов с определёнными на нём операциями (функциями). Объекты могут быть разнотипными, тогда каждому объекту приписывают так называемый сорт некоторое имя (или символ), характеризующий тип… …
17Прототип — (от др. греч. πρῶτος  первый и τύπος  отпечаток, оттиск; прообраз, образец), Prototype: Прототип (когнитивная психология)  абстрактный образ, воплощающий множество сходных форм одного и того же объекта или паттерна, наиболее… …
18Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые… …
19Схема отношения — Одна из основных характеристик отношения. Эта характеристика определяется выражением R(A1, A2, …, An), где R  имя отношения, A1, A2, …, An  имена атрибутов. Число атрибутов в схеме отношения определяет арность. Если разные отношения… …
20Аппликативные вычислительные системы — Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и ламбда исчислении[1]. Единственное, что существенно разрабатывается в этих системах  это представление об объекте. В… …
