КВАНТОР СУЩЕСТВОВАНИЯ

Русско-английский перевод КВАНТОР СУЩЕСТВОВАНИЯ

existential quantifier

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

КВАНТОР СУЩЕСТВОВАНИЯ — (в языке Пролог) existential quantifier
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
КВАНТОР — m. quantor, quantifier
Russian-English Dictionary of the Mathematical Sciences
СУЩЕСТВОВАНИЯ — Subsisting
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Subsistences
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Subsistence
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Existing
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Existences
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Existence
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Beings
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Being
Русско-Американский Английский словарь
КВАНТОР — Quantification
Русско-Американский Английский словарь
СУЩЕСТВОВАНИЯ — Existence
Russian Learner's Dictionary
СУЩЕСТВОВАНИЯ — зависимость существования: ( одних объектов реляционной базы данных от наличия других ) existence dependency
Russian-English Edic
КВАНТОР — quantifier
Russian-English Edic
КВАНТОР — Quantization
Британский Русско-Английский словарь
КВАНТОР — Quantification
Британский Русско-Английский словарь
КВАНТОР — лог. quantifier quantifier
Большой Русско-Английский словарь
КВАНТОР — квантор quantifier
Русско-Английский словарь Сократ
СУЩЕСТВОВАНИЕ — n. existence, presence; доказательство существования, existence proof; квантор существования, existential quantifier
Russian-English Dictionary of the Mathematical Sciences
QUANTIFIER — сущ.; линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное …
Большой Англо-Русский словарь
QUANTIFIER — сущ.; линг. квантификатор (логика) (математика) квантор - universal * всеобщий квантор, квантор общности - existential * квантор существования квантификатор, кванторное …
Новый большой Англо-Русский словарь
ОБЩНОСТЬ — f. generality, community; не уменьшая общности, without loss of generality; квантор общности, universal quantifier, generality quantifier
Russian-English Dictionary of the Mathematical Sciences
ВСЕОБЩНОСТЬ — f. generality, universality; квантор всеобщности, universal quantifier
Russian-English Dictionary of the Mathematical Sciences
VACUOUS QUANTIFIER — мат. пустой квантор
Большой Англо-Русский словарь
UNRESTRICTED QUANTIFIER — мат. неограниченный квантор
Большой Англо-Русский словарь
UNIVERSAL QUANTIFIER — квантор всеобщности
Большой Англо-Русский словарь
UNIVERSAL — прил. 1) универсальный (подходящий ко всем случаям, способный на все и т.п.) a universal cure ≈ универсальное лекарство universal language …
Большой Англо-Русский словарь
UNBOUNDED QUANTIFIER — мат. неограниченный квантор
Большой Англо-Русский словарь
TYPICAL QUANTIFIER — мат. типовый квантор
Большой Англо-Русский словарь
STATISTICAL QUANTIFIER — мат. статистический квантор
Большой Англо-Русский словарь
RESTRICTED QUANTIFIER — мат. ограниченный квантор
Большой Англо-Русский словарь
RELATIVIZING QUANTIFIER — мат. релятивизирующий квантор
Большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
QUANTOR — квантор
Большой Англо-Русский словарь
PURE QUANTIFIER — мат. неограниченный квантор
Большой Англо-Русский словарь
OBJECTIVISM — сущ. 1) стремление к объективности 2) филос. объективизм; признание существования объективной реальности (философское) признание существования объективной реальности (философское) стремление к …
Большой Англо-Русский словарь
GENERALITY QUANTIFIER — квантор (все)общности квантор всеобщности
Большой Англо-Русский словарь
BOUNDED — 1) граничить 2) ограниченный 3) ограниченно 4) разграниченный 5) связанный ∙ absolutely bounded form ≈ абсолютно ограниченная форма absolutely bounded …
Большой Англо-Русский словарь
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
QUANTIFIER — квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно …
Англо-Русский научно-технический словарь
QUANTIFIER — n 1. лог. , мат. квантор universal ~ - всеобщий квантор, квантор общности existential ~ - квантор существования 2. лингв. …
Новый большой Англо-Русский словарь - Апресян, Медникова
QUANTIFIER — n 1. лог. , мат. квантор universal quantifier - всеобщий квантор, квантор общности existential quantifier - квантор существования 2. лингв. …
Большой новый Англо-Русский словарь
ХАЙДЕГГЕР — (Heidegger, Martin) (1889-1976), немецкий философ-экзистенциалист, оказал значительное влияние на европейскую философию 20 в. Будучи студентом и ассистентом Э.Гуссерля, внес серьезный …
Русский словарь Colier
ФОМА — (1226-1274), теолог и философ-схоласт, учитель церкви. Родился в начале 1226 в Роккасекка, родовом замке близ Аквино. Воспитывался у бенедиктинцев в …
Русский словарь Colier
САГАН — (Sagan, Carl Edward) (1934-1996), американский астроном. Родился 9 ноября 1934 в Нью-Йорке. В 1951 поступил в Чикагский университет; в 1954 …
Русский словарь Colier
КИТАЙСКАЯ
Русский словарь Colier
ДИФФЕРЕНЦИАЛЬНЫЕ — Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими-то величинами. …
Русский словарь Colier
АРХЕОЛОГИЯ
Русский словарь Colier
АРИСТОТЕЛЬ — (ок. 384-322 до н.э.), древнегреческий философ и педагог, родился в Стагире в 384 или 383 до н.э., умер в Халкиде …
Русский словарь Colier
ПЕРИПАТЕТИЗМ — одно из направлений средневековой арабо-исламской философии. Основные представители -ал-Кинд (800-879), ал-Фрб (870-950), Ибн Сн (Авиценна 980-1037), Ибн уфайл (1110-1185), Ибн …
Русский словарь Colier
ЛЕЙБНИЦ — (Leibniz, Gottfried Wilhelm von) (1646-1716), выдающийся немецкий философ и математик. Родился 1 июля 1646 в Лейпциге. Его отец, профессор моральной …
Русский словарь Colier
КАЛАМ — (араб. "калм" - "речь"), первое направление арабо-мусульманской теоретической рефлексии, начало которому было положено сразу после зарождения ислама и которое сформировалось …
Русский словарь Colier
ИШРАКИЗМ — (от араб. "ишр" - "озарение") (философия озарения, иллюминативизм), одна из школ классической арабо-мусульманской философии. Ишракизм стал результатом переосмысления наследия доисламской …
Русский словарь Colier
ДЕКАРТ — (Descartes, Ren, латинизированное имя - Картезий, Renatus Cartesius) (1596-1650), французский философ, математик и естествоиспытатель, более других ответственный за идеи и …
Русский словарь Colier
ДЕЛЁЗ — (Deleuze, Gilles) (1925-1995), французский философ. Изучал философию в Сорбонне; в 1948-1968 преподавал в ряде лицеев, затем в Лионском университете и …
Русский словарь Colier
БЕРГСОН — (Bergson, Henri) (1859-1941), выдающийся французский философ 20 в., родился в Париже 18 октября 1859 в еврейской семье. Образование получил в …
Русский словарь Colier
АРАБСКАЯ — АРАБСКАЯ ФИЛОСОФИЯ В мутазилизме Первоначало понимается как совершенно простое и единое. Одной из главных проблем здесь оказывается самотождественность начала, рассматриваемого …
Русский словарь Colier
АТОМНОГО — Ядро представляет собой центральную часть атома (см. также АТОМА СТРОЕНИЕ). В нем сосредоточены положительный электрический заряд и основная часть массы …
Русский словарь Colier
АРАБСКАЯ — АРАБСКАЯ ФИЛОСОФИЯ Источники классической арабской философии распадаются на две группы. Это, с одной стороны, основополагающие мировоззренческие тезисы, зафиксированные в Коране. …
Русский словарь Colier
OBJECTIVISM — сущ. 1) стремление к объективности 2) филос. объективизм; признание существования объективной реальности (философское) признание существования объективной реальности (философское) стремление к …
Новый большой Англо-Русский словарь
GENERALITY QUANTIFIER — квантор (все)общности квантор всеобщности
Новый большой Англо-Русский словарь
BOUNDED — 1) граничить 2) ограниченный 3) ограниченно 4) разграниченный 5) связанный ∙ absolutely bounded form ≈ абсолютно ограниченная форма absolutely bounded …
Новый большой Англо-Русский словарь

Большой Русско-Английский словарь

← КВАНТОР ОБЩНОСТИ КВАНТОРНАЯ АЛГЕБРА→