In dieser LVA behandeln wir den formalen Berechenbarkeitsbegriff anhand von verschiedenen mathematischen Modellen (endliche Automaten, Random Access Machines, Turingmaschinen, rekursiven Funktionen). Darauf aufbauend befassen wir uns mit dem Begriff der algorithmischen Komplexität, der Entscheidbarkeit bzw. Unentscheidbarkeit von Problemen, und mit der Kategorisierung von entscheidbaren Problemen in verschiedene Komplexitätsklassen.
- Dozent: Ralf Hemmecke
- Dozent: Wolfgang Schreiner
- Dozent: Burkhard Zimmermann
An introduction to the practical aspects of working in computer-based environments for scientists and engineers.
- Lecturer: Karoly Erdei
- Lecturer: Ralf Hemmecke
- Lecturer: Wolfgang Windsteiger
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