-
1 Prädikatenlogik
-
2 Prädikatenlogik
Deutsch-Englisch Wörterbuch der Elektrotechnik und Elektronik > Prädikatenlogik
-
3 Prädikatenlogik
-
4 Prädikatenlogik
-
5 Prädikatenlogik
fлогика предикатов, предикатная логикаDeutsch-Russische Wörterbuch polytechnischen > Prädikatenlogik
-
6 Prädikatenlogik
-
7 Prädikatenlogik
f логика ж. предикатовNeue große deutsch-russische Wörterbuch Polytechnic > Prädikatenlogik
-
8 Prädikatenlogik
Deutsch-Englisch Wörterbuch für Informatik > Prädikatenlogik
-
9 Prädikatenlogik
fpredicate logic -
10 Prädikatenlogik der ersten Stufe
Prädikatenlogik f der ersten Stufe логика ж. первого порядкаNeue große deutsch-russische Wörterbuch Polytechnic > Prädikatenlogik der ersten Stufe
-
11 Prädikatenlogik der ersten Stufe
сущ.Универсальный немецко-русский словарь > Prädikatenlogik der ersten Stufe
-
12 Prädikatenlogik (die)
calcul des prédicats, logique des prédicatsLexique philosophique allemand-français > Prädikatenlogik (die)
-
13 Logik
f логика ж.; логика ж. выч.; логическая структура ж.; логическая схема ж.; логическая часть ж. (ВМ) выч.; логические схемы мн.; логический узел м. (ВМ) выч.→ IIL -
14 Prädikaten
Neue große deutsch-russische Wörterbuch Polytechnic > Prädikaten
-
15 ersten
Neue große deutsch-russische Wörterbuch Polytechnic > ersten
-
16 Stufe
f градация ж.; декада ж. изм.; интервал м.; каскад м. рад. эл.; разряд м.; редан м. ав. мор.; секция ж.; стадия ж.; степень ж.; ступень ж.; ступень ж. рад. эл.; ступенька ж.; уровень м. (напр., иерархии) выч.; уступ м.; штуф горн. мин.; этап м.; ярус м. (геохронологический) геол.→ Ätzstufe→ Endstufe→ Erzstufe→ Torstufe -
17 PL
См. также в других словарях:
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