- функциональный квантор
- мат. function quantifier
Большой англо-русский и русско-английский словарь. 2001.
функциональный квантор
Смотреть что такое "функциональный квантор" в других словарях:
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
Соответствие Карри — Соответствие Карри Ховарда (изоморфизм Карри Ховарда, англ. formulae as types interpretation) наблюдаемая структурная эквивалентность между математическими доказательствами и программами. Эта эквивалентность может быть… … Википедия
П:М — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия … Википедия
Портал:Математика — Начинающим · Сообщество · Порталы · Награды · Проекты · Запросы · Оценивание География · История · Общество · Персоналии · Религия · Спорт · Техника · Наука · Искусство · Философия … Википедия
