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
An introduction to the practical aspects of working in computer-based environments for scientists and engineers.
- Lecturer: Karoly Erdei
- Lecturer: Ralf Hemmecke
This course gives a survey on the use of formal methods for the development of reliable software using freely available tools.
- Lecturer: Wolfgang Schreiner
Goals:
- Introduction to logic programming.
- Understanding logical foundations and computational model.
- Learning practical programming in Prolog.
The final grade will depend on the assignment results and on the final exam at the end of the semester (solving assignments is a necessary precondition to be admitted to the exam).
- Lecturer: Temur Kutsia
In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).
- Lecturer: Franz Lichtenberger
- Lecturer: Wolfgang Schreiner