-
1 квантор
math -
2 квантор
nlogic. quantificateur, quantifieur -
3 квантор общности
quantificateur universel [de totalité]Русско-французский политехнический словарь > квантор общности
-
4 квантор существования
Русско-французский политехнический словарь > квантор существования
-
5 квантор общности
n1) gener. (все) quantificateur universel2) eng. quantificateur de totalité, quantificateur grand3) math. signe de la généralité4) IT. quantifieur universel -
6 квантор существования
n1) gener. quantificateur existentiel2) eng. quantificateur petit, quantificateur spécial3) math. signe d'existance4) IT. quantifieur d'existenceDictionnaire russe-français universel > квантор существования
-
7 фазовый квантор
Русско-французский политехнический словарь > фазовый квантор
-
8 ограниченный квантор
Dictionnaire russe-français universel > ограниченный квантор
См. также в других словарях:
КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «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 … Справочник технического переводчика