-
1 quantor-free
Большой англо-русский и русско-английский словарь > quantor-free
-
2 quantor-free
-
3 quantor-free
Макаров: бескванторный -
4 quantor-free
-
5 quantor-free statement
Большой англо-русский и русско-английский словарь > quantor-free statement
-
6 quantor-free statement
Математика: бескванторное высказываниеУниверсальный англо-русский словарь > quantor-free statement
-
7 quantor-free statement
логикаEnglish-Russian scientific dictionary > quantor-free statement
-
8 бескванторный
-
9 бескванторный
-
10 бескванторное высказывание
Большой англо-русский и русско-английский словарь > бескванторное высказывание
-
11 бескванторный
Большой англо-русский и русско-английский словарь > бескванторный
-
12 бескванторный
adj. quantor-free, quantifier-freeРусско-английский словарь математических терминов > бескванторный
-
13 бескванторный
1) quantifier-free
2) quantor-free -
14 бескванторное высказывание
Mathematics: quantifier-free sentence, quantor-free statementУниверсальный русско-английский словарь > бескванторное высказывание
-
15 бескванторный
1) Mathematics: quantifier-free2) Makarov: quantor-free -
16 бескванторный
quantifier-free, quantor-free -
17 бескванторное высказывание
quantifier-free sentence мат., quantor-free statementРусско-английский научно-технический словарь Масловского > бескванторное высказывание
-
18 бескванторный
quantifier-free мат., quantor-freeРусско-английский научно-технический словарь Масловского > бескванторный
-
19 бескванторный
adj.quantor-free, quantifier-free -
20 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
См. также в других словарях:
Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund … Deutsch Wikipedia
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
Prädikatorenlogik — 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
Quantorenlogik — 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