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.

An introduction to the practical aspects of working in computer-based environments for scientists and engineers.

This course gives a survey on the use of formal methods for the development of reliable software using freely available tools.

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).