Introduction to Logics

Exercise lab sessions given as a student assistant.

Topics (in German Language)

• Syntax versus Semantik
• Aussagenlogik
  • Syntax und Semantik der Aussagenlogik
  • Semantische Folgerung
  • Normalformen
• Beweissysteme
  • Korrektheit und Vollständigkeit
  • Resolutionskalkül
  • Hilbertkalkül der Aussagenlogik
  • Vollständigkeit des Hilbertkalküls der Aussagenlogik
• Prädikatenlogik
  • Syntax der Prädikatenlogik
  • Semantik der Prädikatenlogik
  • Terme
  • Hilbertkalkül der Prädikatenlogik
• Modallogik
  • Kripke-Rahmen und -Strukturen
• Temporallogik
  • Linear-Temporal Logic (LTL)
  • Büchiautomaten