Kurs 01681

Einführung in die Berechenbare Analysis

Betreuung:

• N.N

Kurs wurde zuletzt im Sommersemester 2012 angeboten.

Prüfer:

Robert Rettinger

Kursbeschreibung

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:

• Rechnen auf endlichen und unendlichen Zahlenfolgen,
• der Cantor-Raum der unendlichen Folgen,
• berechenbare reelle Zahlen,
• berechenbare reelle Funktionen,
• offene, abgeschlossene und kompakte Mengen,
• der Raum der stetigen Funktionen und Nullstellenbestimmung,
• Berechnungskomplexität.

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.