-
1 Prädikatenlogik
(f)логика предикатов -
2 Prädikatenlogik der ersten Stufe
логика предикатов первого порядкаНемецко-русский математический словарь > Prädikatenlogik der ersten Stufe
-
3 Prädikatenlogik höherer Stufe
логика предикатов высшего порядкаНемецко-русский математический словарь > Prädikatenlogik höherer Stufe
-
4 einstellige Prädikatenlogik
логика одноместных предикатовНемецко-русский математический словарь > einstellige Prädikatenlogik
-
5 mehrstellige Prädikatenlogik
логика многоместных предикатовНемецко-русский математический словарь > mehrstellige Prädikatenlogik
-
6 логика
-
7 логика первого порядка
Универсальный русско-немецкий словарь > логика первого порядка
-
8 логика предикатов
neng. Prädikatenkalkül, Prädikatenlogik -
9 предикатная логика
adjelectr. Prädikatenlogik
См. также в других словарях:
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
Prädikatenlogik — Quantorenlogik * * * I Prädikatenlogik, das Teilgebiet der Logik, das sich mit den Aussagen beschäftigt, die mithilfe von Prädikaten und Quantoren gebildet werden. II Prädikatenlogik [lat. praedicatio »Aussage«] (Prädikatenkalkül), Logik. * * … Universal-Lexikon
Prädikatenlogik — an logische Grundkonzepte angelehnte Form der ⇡ Wissensrepräsentation. Die am häufigsten verwendete Prädikatenlogik erster Ordnung umfasst: Variablen, Konstanten, Funktionen, Prädikate und Ausdrücke mit Verknüpfungsapparaturen und Quantoren. Ein… … Lexikon der Economics
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ädikatenlogik erster Stufe — Die Prädikatenlogik erster Stufe ist ein Teilgebiet der mathematischen Logik. Sie befasst sich mit der Struktur gewisser mathematischer Ausdrücke und dem logischen Schließen, mit dem man von derartigen Ausdrücken zu anderen gelangt. Dabei gelingt … Deutsch Wikipedia
Prädikatenlogik höherer Stufe — Unter Logik höherer Stufe (englisch: Higher Order Logic, HOL) versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück. Entwickelt um… … Deutsch Wikipedia
Prädikatenlogik — Prä|di|ka|ten|lo|gik 〈f.; Gen.: ; Pl.: unz.; Philos.〉 Teilgebiet der mathematischen Logik, das sich mit der formalen Analyse von Aussagen befasst u. dabei die Aussageform als eine Funktion mit Konstanten u. Variablen betrachtet … Lexikalische Deutsches Wörterbuch
Prädikatenlogik — Prä|di|ka|ten|lo|gik die; : Teilgebiet der Logik, das die innere logische Struktur der Aussage untersucht … Das große Fremdwörterbuch
Quantorenlogik — Prädikatenlogik … 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