-
1 бескванторный
-
2 квантор
-
3 бескванторный
-
4 бескванторный
adj. quantor-free, quantifier-freeРусско-английский словарь математических терминов > бескванторный
-
5 квантор
m. quantor, quantifier -
6 бескванторный
1) quantifier-free
2) quantor-free -
7 квантор
1) quantifier
2) quantor
– квантор общности
– квантор существования
– навешивать квантор
– ограниченный квантор -
8 бескванторное высказывание
Mathematics: quantifier-free sentence, quantor-free statementУниверсальный русско-английский словарь > бескванторное высказывание
-
9 бескванторный
1) Mathematics: quantifier-free2) Makarov: quantor-free -
10 квантор
1) Mathematics: quantifier, quantor2) Linguistics: Q -
11 бескванторный
quantifier-free, quantor-free -
12 квантор
-
13 бескванторное высказывание
quantifier-free sentence мат., quantor-free statementРусско-английский научно-технический словарь Масловского > бескванторное высказывание
-
14 бескванторный
quantifier-free мат., quantor-freeРусско-английский научно-технический словарь Масловского > бескванторный
-
15 квантор
quantifier, quantorРусско-английский научно-технический словарь Масловского > квантор
-
16 квантор
1. quantifier[lang name="Russian"]всеобщий квантор, квантор общности — universal quantifier
2. quantor -
17 бескванторный
adj.quantor-free, quantifier-free -
18 квантор
m.quantor, quantifier
См. также в других словарях:
Quantor — Ein Quantor, kurz für Quantifikator, die Re Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“[1], ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren… … Deutsch Wikipedia
Quantor — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m … Automatikos terminų žodynas
Quantor der Allgemeinheit — bendrumo kvantorius statusas T sritis automatika atitikmenys: angl. generality quantifier vok. Generalisator, m; Quantor der Allgemeinheit, m rus. квантор общности, m pranc. quantifier universel, m … Automatikos terminų žodynas
Quantor — Quantifikator * * * Quạntor der, s/... toren, Logik: eine logische Partikel, die dazu dient, unbegrenzt viele, durch eine Aussageform gegebene Aussagen zu einer neuen prädikatenlogisch zusammengesetzten Aussage zu verknüpfen (Logik, Abschnitt… … Universal-Lexikon
Quantor — Quạn|tor 〈m.; Gen.: s, Pl.: to|ren; Math.〉 mathemat. Symbol der Mengenlehre u. der algebraischen Logik … Lexikalische Deutsches Wörterbuch
Quantor — Quan|tor der; s, ...oren Kurzw. aus ↑Quantifikator> logische 1↑Partikel für quantifizierte Aussagen (z. B. »für alle gilt«) … Das große Fremdwörterbuch
Quantifikator — Quantor * * * Quan|ti|fi|ka|tor, der; s, ...oren (Logik): Quantor … Universal-Lexikon
Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
PK1 — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatenkalkül — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
Prädikatenlogik zweiter Stufe — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… … Deutsch Wikipedia
