Vorlesungsfolien / Script

• Script 2023
• Script 2018 (ist größtenteils gleich)
• Panikzettel (ich will philworld.de nicht die views klauen, aber selbst gehostet gibts hier.)
• Video AG 2023 (selbst aufgenommen)
• Video AG 2017

Erklärungen in ihrem eigenen Stil

Malo ist so kindlich einfach, da muss man auch den richtigen Flair für die Titel haben. Ich sammel hier gerne Tips wenn ich die mitbekomme.

• Die Olchies und die Aussagenlogik
  Aktualisiert: 14/08/2023

  • Einführung
  • Logik
  • Aussagenlogik
  • Funktionale Vollständigkeit
  • Horn Formeln
• TKKG und der rätselhafte Kompaktheitssatz
  Aktualisiert: 14/08/2023

  • Kompaktheitssatz
• Pippi Langstrumpf löst die Re(v|s)olution auf (Kalküle)
  Aktualisiert: 15/08/2023

  • Resolutionskalkül
  • Sequenzkalkül
• Das Magische Baumhaus geht auf die nächste Stufe (Einführung Prädikatenlogik)
  Aktualisiert: 18/08/2023

  • Einführung Prädikatenlogik
  • Syntax
  • Semantik
  • Universen
• Kaju will Spielen (Model Checking Spieltheorie)
  Aktualisiert: 15/08/2023

  • Auswertungsspiel
• Die drei ??? (Axiomatisierbarkeit und Isomorphie)
  Aktualisiert: 16/08/2023

  • Klassen
  • Isomorphie
  • Axiomatisierbarkeit
• Bibi & Tina in der Welt der Ehrenfeucht-Fraïssé-Spiele
  Aktualisiert: 17/08/2023

  • Ehrenfeucht-Fraïssé-Spiele
• Der kleine Rote Traktor und das Sequenzkalkül
  Aktualisiert: 17/08/2023

  • FO-Sequenzkalkül
  • Vollständigkeitssatz
  • Kompaktheitssatz
  • Faktorstrukturen
  • Herbrand-Strukturen
• Thomas und die Modallogik
  Aktualisiert: 17/08/2023

  • Modallogik
  • Bisimulation
• Was das? Ich möcht nichtmehr
  Aktualisiert: 21/08/2023

  • Alles