-
1 кванторы
кванторы
Символы и. Квантор общности [generality q.] (перевернутая буква A от немецкого alle — «все») - читается «для всех…». Например, высказывание (x ? M) читается «для всех x, принадлежащих M». К. существования [existential q.] обозначается перевернутой буквой Е (от немецкого existieren) и заменяет слово «существует». Например, (x ? M) расшифровывается так: «существует элемент x, принадлежащий М». С К. можно производить определенные действия. Например, при отрицании К. заменяется на и наоборот: … = … Если рассмотреть высказывание: «для любого x, принадлежащего M, P(x) - истинно», то отрицание этого высказывания будет: «существует x, принадлежащий M, такой, что отрицание P(x) истинно». Или, пользуясь символической записью: (( x ? М) (Р(x)=И)) = (x ? M) (P(x) = И).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > кванторы
-
2 кванторы
Русско-греческий словарь научных и технических терминов > кванторы
-
3 навешивать кванторы
Русско-английский большой базовый словарь > навешивать кванторы
-
4 навешать кванторы
-
5 навешивать кванторы
Information technology: quantifyУниверсальный русско-английский словарь > навешивать кванторы
-
6 навешивать кванторы
vlogic. quantifier -
7 использовать кванторы
quantify вчт.Русско-английский словарь по электронике > использовать кванторы
-
8 использовать кванторы
quantify вчт.Русско-английский словарь по радиоэлектронике > использовать кванторы
-
9 навешать кванторы
-
10 навешивать кванторы
-
11 навешать кванторы
Русско-английский математический словарь > навешать кванторы
-
12 навешивать кванторы
Русско-английский математический словарь > навешивать кванторы
-
13 навешивать кванторы
1. quantify2. quantified3. quantifying -
14 навешивать
Русско-английский словарь математических терминов > навешивать
-
15 контекстное ребро
Information technology: scope edge (графа запроса, содержащего вложенные кванторы) -
16 контекстное ребро
(графа запроса, содержащего вложенные кванторы) scope edgeРусско-английский словарь по вычислительной технике и программированию > контекстное ребро
-
17 навешивать
-
18 квантор
м. мат. quantifierвсеобщий квантор, квантор общности — universal quantifier
-
19 навешивать
См. также в других словарях:
КВАНТОРЫ — (от лат. quantum сколько) в логике и математике логические эквиваленты слов все , каждый и т. п. (кванторы общности), некоторый , существует (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические свойства этих … Большой Энциклопедический словарь
Кванторы — [quantifiers] символы и . Квантор общности [generality q.] (перевернутая буква A от немецкого alle «все») читается «для всех…». Например, высказывание ( x∈M) читается «для всех x, принадлежащих M…». К.… … Экономико-математический словарь
кванторы — Символы и . Квантор общности [generality q.] (перевернутая буква A от немецкого alle «все») читается «для всех…». Например, высказывание (x ? M) читается «для всех x, принадлежащих M». К. существования [existential q.] обозначается перевернутой… … Справочник технического переводчика
кванторы — (от лат. quantum сколько), в логике и математике логические эквиваленты слов «все», «каждый» и т. п. (кванторы общности), «некоторый», «существует» (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические… … Энциклопедический словарь
Кванторы общности — Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений. Краткий толковый психолого психиатрический словарь. Под ред.… … Большая психологическая энциклопедия
КВАНТОРЫ — (от лат. quantum сколько), в логике и математике логич. эквиваленты слов все , каждый и т. п. (К. общности), некоторый , существует (К. существования) и др.; операторы, формализующие в исчислении предикатов логич. свойства этих выражений … Естествознание. Энциклопедический словарь
Кванторы общности — Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений … Словарь нейролингвистического программирования
Кванторы общности — нлп Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений … Универсальный дополнительный практический толковый словарь И. Мостицкого
Квантификатор — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия
Квантор общности — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия
Кванторизация — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия