In dieser Lehrveranstaltung behandeln wir wesentliche Bereiche der
Theoretischen Informatik, d.h., der "ewigen Wahrheiten" der Informatik,
die auf der Grundlage der Mathematik/Logik ein für allemal bewiesen
wurden und die unabhängig von weiteren technologischen Entwicklungen
sind. Zentrale Fragestellungen sind dabei der Begriff der
Berechenbarkeit (was ist berechenbar und was nicht?) und der Komplexität
(wie groß ist der für eine Berechnung notwendige Aufwand?).
- Dozent: Ralf Hemmecke
- Dozent: Nikolaj Popov
- Dozent: Wolfgang Schreiner
This course gives a survey on the use of formal methods for the development of reliable software using freely available tools.
- Lecturer: Wolfgang Schreiner
In this seminar, we explore current research and systems for specifying
and verifying computer programs (specification languages, program
verifiers, model checkers, ...).
- Lecturer: Wolfgang Schreiner