- двуместный предикат
- мат. binary predicate, dyadic predicate, two-place predicate
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Предикат (лингвистика) — У этого термина существуют и другие значения, см. Предикат. В Викисловаре есть статья «предикат» Предикат … Википедия
БИНАРНОЕ ОТНОШЕНИЕ — двуместный предикат на заданном множестве. Под Б. о. иногда понимают подмножество множества упорядоченных пар (а, 6) элементов заданного множества А. Б. о. частный случай отношения. Пусть . Если , то говорят, что элемент находится в бинарном… … Математическая энциклопедия
Класс NP — В теории алгоритмов классом NP (от англ. non deterministic polynomial) называют множество задач распознавания (англ.), решение которых при наличии некоторых дополнительных сведений (так называемого сертификата решения) можно «быстро» (за… … Википедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
логика отношений — ЛОГИКА ОТНОШЕНИЙ раздел современной логики, в котором рассматриваются отношения между объектами определенной предметной области (областей). Хотя Л. о. частный случай логики предикатов, а именно многочленных, или многоместных (и местных, и … Энциклопедия эпистемологии и философии науки