12511 - Berechenbare Zahlen Modulübersicht

Modulnummer: 12511 - Modul nicht mehr im Angebot ab WS 2008/9
Modultitel:Berechenbare Zahlen
  Computable Numbers
Einrichtung: Fakultät 1 - Mathematik, Naturwissenschaften und Informatik
Verantwortlich:
  • Prof. Dr.rer.nat.habil von Braunmühl, Burchard
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: sporadisch nach Ankündigung
Leistungspunkte: 8
Lernziele:Einsicht in die Problematik des beliebig genauen Rechnens mit reellen Zahlen. Es wird ein Berechenbarkeitsbegriff definiert, der dies auf eine praxisorientierte Weise beschreibt.
Inhalte:Der Begriff der berechenbaren reellen Zahlen ist 1936 von Alan Turing in seinem berühmten Artikel "On computable number, with an application to the Entscheidungsproblem" eingeführt worden. Hier werden die Anfänge einer berechenbaren Analysis vorgestellt.
-Einführung, Rechnen auf endlichen und unendlichen Zeichenfolgen
-Relative Berechenbarkeit
-Rechnen auf reellen Zahlen
-Rekursive und rekursiv-aufzählbare Mengen
-Berechenbare reelle Funktionen
-Semi-Berechenbarkeit und arithmetische Hülle
-Divergenz-beschränkte Berechenbare Zahlen
Empfohlene Voraussetzungen:keine
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 4 SWS
Unterrichtsmaterialien und Literaturhinweise:Diverse Zeitschriftenartikel
Modulprüfung:Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich!
Prüfungsleistung/en für Modulprüfung:Prüfungsgespräch benotet
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
Bemerkungen:keine
Veranstaltungen zum Modul:keine
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden