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: |
|
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: |
|
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: |
|
Bemerkungen: | keine |
Veranstaltungen zum Modul: | keine |
Veranstaltungen im aktuellen Semester: |
|