| Kommentar |
Einführung in die mathematische Logik und ihre Anwendungen in der Informatik sowie in die logikbasierte Programmiersprache Prolog
Im Einzelnen umfassen die Themen der Vorlesung:
- Aussagenlogik (Grundlagen, Kompaktheitssatz, Resolution)
- Prädikatenlogik der Stufe (Grundlagen, Beweiskalkül, Vollständigkeitssatz, Kompaktheitssatz und Anwendungen, Satz von Herbrand)
- weitere logische Systeme (beispielsweise modale und temporale Logiken)
- Programmierung in Prolog
|
