Kurs wurde zuletzt im Sommersemester 2012 angeboten.
Unzählige mathematische Modelle in Wissenschaft und Technik verwenden die reellen Zahlen und darauf aufbauende Strukturen. Die berechenbare Analysis beschreibt und untersucht, wie man auf solchen Strukturen mit digitalen Computern rechnen kann. Es werden folgende Themen behandelt:
Es werden Kenntnisse über Berechenbarkeit und Analysis vorausgesetzt, wie sie in den ersten Studiensemestern für Informatiker vermittelt werden.
Für folgende Informatik-Studiengänge vorgesehen: B (über Katalog M), D, M, MC.