Lesson Proper
  • Und, Oder, Nicht
  • Implikation und Äquivalenz
  • XOR, NOR, NAND
  • Die De Morgan'schen Gesetze
  • boolsche Funktionen
  • Logische Grundgesetze
  • Boolsches Rechnen
  • Normalformen
  • Normalformen umwandeln
  • Normalformen aus Wahrheitstabellen
  • Formeln aus Wahrheitstabellen
  • Wahrheitstabelle aus Formel
  • Shannon Formeln, Bäume und deren Reduktion
  • Basen
  • Metasprache und das Craigsche Interpolationslemma
  • SatSolving und der DPLL-Algorithmen
  • Übung: Ein Sudokusolver in Java
  • Modelle, Interpretationen, Folgerungen und Äquivalenz
  • Horn Formeln und der Markierungsalgorithmus
  • Hornformel und Markierungsalgorithmus
Prädikatenlogik
  • Quantoren
  • Funktions- und Prädikatensymbole
  • Ein Beispielrätsel
  • Freie und gebundene Variablen
  • Substitutionen
  • Unifikation
  • Unifizierbarkeit
  • Normalformen
  • Die pränexe Normalform
  • Die Skolemnormalform
Kalküle
  • Der Hilbertkalkül
  • Der Hilbertkalkül #2
  • Der Hilbertkalkül #3
  • Resolutionskalkül #1
  • Resolutionskalkül #2
  • Baumkalkül / Tableaukalkül
  • Tableaukalkül
  • Baumkalkül / Tableaukalkül #2
  • Reduktionssysteme
  • Der Sequenzenkalkül der Aussagenlogik
  • Der Sequenzenkalkül der Prädikatenlogik
Weitere Logiken
  • Modale Logik
  • Lineare Temporal-Logik
  • Fuzzy Logic