MOC - Grundlagen der Logik in der Informatik
Automated Theorem Proving
ZFC Mengenlehre
Leere Menge
Mengenvereinigung
Mengendurchschnitt
Mengendifferenz
disjunkte Aufteilung
Mengenlehre
Extensionalität
Zwei Mengen sind gleich, wenn sie die gleichen Elemente enthalten.
Menge von Mengen
großer Durschnitt
große Vereinigung
Induktion (Beweis)
Course-Of-Values Induction
Backus-Naur-Form
Strukturelle Induktion
Wahrheitsbelegung
Logische Konsequenz
Interpretation Function
Formale Deduktion
Deduction
Natürliches Schließen
Ex Falso Quodlibet
Tertium Non Datur
Normalformen und Resolution
Ein Entscheidungsverfahren zum Erfüllbarkeitsproblem der Aussagenlogik.
Prädikatenlogik
First-Order Predicate Logic
Freie Variable
Sentence
Unifikation
Pränexe Normalform
Skolemform
Clause Normal Form
Herbrand Modelle