-
1 Prädikatenkalkül
(m)исчисление предикатов -
2 Prädikatenkalkül der ersten Stufe
исчисление предикатов первого порядкаНемецко-русский математический словарь > Prädikatenkalkül der ersten Stufe
-
3 deduktiver Prädikatenkalkül
дедуктивное исчисление предикатовНемецко-русский математический словарь > deduktiver Prädikatenkalkül
-
4 engerer Prädikatenkalkül
узкое исчисление предикатовНемецко-русский математический словарь > engerer Prädikatenkalkül
-
5 erweiterter Prädikatenkalkül
расширенное исчисление предикатовНемецко-русский математический словарь > erweiterter Prädikatenkalkül
-
6 intuitionistischer Prädikatenkalkül
интуиционистское исчисление предикатовНемецко-русский математический словарь > intuitionistischer Prädikatenkalkül
-
7 klassischer Prädikatenkalkül
классическое исчисление предикатовНемецко-русский математический словарь > klassischer Prädikatenkalkül
-
8 konstruktiver Prädikatenkalkül
конструктивное исчисление предикатовНемецко-русский математический словарь > konstruktiver Prädikatenkalkül
-
9 mehrwertiger Prädikatenkalkül
многозначное исчисление предикатовНемецко-русский математический словарь > mehrwertiger Prädikatenkalkül
-
10 исчисление предикатов
Russian-german polytechnic dictionary > исчисление предикатов
-
11 исчисление предикатов
neng. PrädikatenkalkülУниверсальный русско-немецкий словарь > исчисление предикатов
-
12 логика предикатов
neng. Prädikatenkalkül, Prädikatenlogik -
13 исчисление
Большой русско-немецкий полетехнический словарь > исчисление
-
14 логика
См. также в других словарях:
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
Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Löwenheim-Skolem-Theorem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Satz von Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Satz von Löwenheim und Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Skolem-Paradox — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Skolemsches Paradoxon — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Berechnungsmodell — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… … Deutsch Wikipedia
Deduktive Datenbanken — sind eine „Erweiterung“ der Relationalen Datenbank um eine Deduktionskomponente. Diese Deduktionskomponente verwendet Deduktionsregeln, die auf dem Prädikatenkalkül basieren, um aus den Daten „Wissen“ zu extrahieren. Die Regelsprache heißt… … Deutsch Wikipedia
Kalküle — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… … Deutsch Wikipedia
Charles Peirce — Charles Sanders Peirce um 1870 Charles Sanders Peirce (* 10. September 1839 in Cambridge, Massachusetts; † 19. April 1914 in Milford, Pennsylvania) war ein US amerikanischer Mathematiker … Deutsch Wikipedia