Vorlesungsfolien / Script

Script 2023

Unseres

Script 2018

Sollte größtenteils gleich sein

Video 2023

Persönlich aufgenommen

Video 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