- квантор
-
quantifier
Англо-русский словарь технических терминов. 2005.
квантор
Смотреть что такое "квантор" в других словарях:
КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… … Философская энциклопедия
квантор — сущ., кол во синонимов: 1 • оператор (24) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
квантор — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN quantifier … Справочник технического переводчика
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
КВАНТОР — общее название для логических операций, к рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич. логике наиболее употребительны квантор всеобщности и квантор существования Высказывание означает,… … Математическая энциклопедия
Квантор — (от лат. quantum сколько) символ, используемый для обозначения некоторых операций математической логики, одновременно логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в… … Начала современного естествознания
квантор — (лат. quantum сколько) символ математической логики; логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате её применения. Новый словарь иностранных слов. by EdwART, ,… … Словарь иностранных слов русского языка
квантор — а, ч., лог. Логічний оператор, який переводить одну висловлювальну форму в іншу. Квантор існування … Український тлумачний словник
квантор — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m … Automatikos terminų žodynas
Квантор всеобщности — Квантор всеобщности (обозначения: , ∀) это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких то отдельных из указанных чисел. Формально говоря, это квантор,… … Википедия
квантор всеобщности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN universal quantifier … Справочник технического переводчика
