| Lerninhalte |
Seminar zu wechselnden aktuellen Themen der Logik in der Informatik
Typische Themen sind:
- Verschiedene Logiken: Aussagenlogik, erststufige Logik, QBF, modale, intuitionistische Logiken etc.
- Komplexität dieser Logiken
- Beweiskalküle der Logiken
- Algorithmische Aspekte
- SAT- und QBF Solver
- Beweiskomplexität
- Berechnungskomplexität
- Algebraische Beweissysteme
Lern- und Qualifikationsziele:
- Vertiefte Kenntnisse in Theoretischer Informatik, Logik, Komplexität und Algorithmik
- Vertrautheit mit State-of-the-Art-Techniken zum Design und zur Analyse von Algorithmen, insbesondere für Erfüllbarkeitsprobleme
- Erwerb von geeigneten Präsentationstechniken für theoretische Themen
|
