Automatisches Beweisen Vertiefung
Modulinhalt:
- Logik erster Stufe (FOL)
- Entscheidbare FOL Fragmente: Lineare Arithmetik, Gleichheit und uninterpretierte Funktionen, Quantorenelimination
- Modal-Logiken & Temporal-Logiken: Model Checking und Symboic Model Checking