Logo - Fakultät für Mathematik und Informatik Illustration

Kurs 01681

Illustration

Einführung in die Berechenbare Analysis

Autoren/innen: Weihrauch, Hertling, Brattka
SWS: 4
Übung: 2 SWS

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.

AuK Webteam | 23.01.2015
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823