-
1 quantor
-
2 quantor
-
3 quantor
Математика: квантор -
4 Quantor
сущ.тех. квантор -
5 Quantor
m -
6 quantor
-
7 quantor
квантор -
8 quantor
-
9 quantor
-
10 Quantor
m квантор м. мат.Neue große deutsch-russische Wörterbuch Polytechnic > Quantor
-
11 quantor-free
Большой англо-русский и русско-английский словарь > quantor-free
-
12 quantor-free statement
Большой англо-русский и русско-английский словарь > quantor-free statement
-
13 quantor-free
-
14 quantor-free
Макаров: бескванторный -
15 quantor-free statement
Математика: бескванторное высказываниеУниверсальный англо-русский словарь > quantor-free statement
-
16 quantor-free
-
17 quantor-free statement
логикаEnglish-Russian scientific dictionary > quantor-free statement
-
18 бескванторное высказывание
Большой англо-русский и русско-английский словарь > бескванторное высказывание
-
19 бескванторный
Большой англо-русский и русско-английский словарь > бескванторный
-
20 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
См. также в других словарях:
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