9 Beziehungen: Disjunktionsterm, Funktion (Mathematik), Horn-Formel, Interpretation (Logik), Logik, Natürliche Zahl, Ordnungsrelation, Prädikat (Logik), Prolog (Programmiersprache).
Disjunktionsterm
Ein Disjunktionsterm (auch als Disjunktionsglied oder Klausel bezeichnet) ist eine Boolesche Funktion, die ausschließlich durch die disjunktive Verknüpfung von Literalen gebildet wird.
Neu!!: Stratifikation (Logik) und Disjunktionsterm · Mehr sehen »
Funktion (Mathematik)
In der Mathematik ist eine Funktion oder Abbildung eine Beziehung (Relation) zwischen zwei Mengen, die jedem Element der einen Menge (Funktionsargument, unabhängige Variable, x-Wert) genau ein Element der anderen Menge (Funktionswert, abhängige Variable, y-Wert) zuordnet.
Neu!!: Stratifikation (Logik) und Funktion (Mathematik) · Mehr sehen »
Horn-Formel
Horn-Formeln sind eine wichtige Art prädikatenlogischer Formeln.
Neu!!: Stratifikation (Logik) und Horn-Formel · Mehr sehen »
Interpretation (Logik)
Eine Interpretation (von) im Sinn der Modelltheorie ist eine Struktur, die auf eine logische Formel bezogen wird.
Neu!!: Stratifikation (Logik) und Interpretation (Logik) · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Stratifikation (Logik) und Logik · Mehr sehen »
Natürliche Zahl
reellen Zahlen (ℝ) sind. Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw.
Neu!!: Stratifikation (Logik) und Natürliche Zahl · Mehr sehen »
Ordnungsrelation
Ordnungsrelationen sind in der Mathematik Verallgemeinerungen der „kleiner-gleich“-Beziehung.
Neu!!: Stratifikation (Logik) und Ordnungsrelation · Mehr sehen »
Prädikat (Logik)
Prädikat (von) nennt man in der modernen Prädikatenlogik den Teil einer atomaren Aussage, der wahrheitsfunktional ist.
Neu!!: Stratifikation (Logik) und Prädikat (Logik) · Mehr sehen »
Prolog (Programmiersprache)
Prolog (vom Französischen: programmation en logique, dt.: „Programmieren in Logik“) ist eine Programmiersprache, die Anfang der 1970er-Jahre maßgeblich von dem französischen Informatiker Alain Colmerauer entwickelt wurde und ein deklaratives Programmieren ermöglicht.
Neu!!: Stratifikation (Logik) und Prolog (Programmiersprache) · Mehr sehen »