| Kommentar |
Einführung in die mathematische Logik und ihre Anwendungen in der Informatik
Studierende erlangen die Fähigkeit, Sachverhalte in geeigneten formalen Systemen zu formalisieren und die grundlegenden Begriffe und Ergebnisse der mathematischen Logik zu verstehen und anzuwenden.
Im Einzelnen umfassen die Themen der Vorlesung:
- Aussagenlogik (Grundlagen, Endlichkeitssatz, Resolution)
- Prädikatenlogik der 1. Stufe (Grundlagen, Beweiskalkül, Vollständigkeitssatz, Endlichkeitssatz und Anwendungen)
- Weiterführende Themen (beispielsweise Ehrenfeucht-Fraissé Spiele und der Satz von Herbrand)
|
