04-10-0325-vu Computability in Analysis

Veranstaltungsdetails

Lehrende: Dr. rer. nat. Matthias Schröder

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: 04-10-0325-vu

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Wiederholung diskreter Berechenbarkeit;
Berechenbare und nicht berechenbare reelle Zahlen;
Grundlagen berechenbarer reeller Funktionen und Relationen;
Berechenbarkeit auf metrischen und anderen Räumen;
Darstellungen und Typ-2 Theorie der Effektivität (TTE);
QCB-Räume

Literatur:
Weihrauch: Computable Analysis, Springer (2000)
Schröder: Extended Admissibility, Theoretical Computer Science 284:519-538 (2002). http://www.sciencedirect.com/science/article/pii/S0304397501001098

Voraussetzungen:
Introduction to Computability Theory oder Introduction to Mathematical Logic oder Formale Grundlagen der Informatik

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:
  • Computability in Analysis Übung

    Dr. rer. nat. Matthias Schröder

    Mi, 15. Apr. 2015 [15:20]-Mi, 15. Jul. 2015 [16:10]

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Mi, 15. Apr. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
2 Mi, 22. Apr. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
3 Mi, 29. Apr. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
4 Mi, 6. Mai 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
5 Mi, 13. Mai 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
6 Mi, 20. Mai 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
7 Mi, 27. Mai 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
8 Mi, 3. Jun. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
9 Mi, 17. Jun. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
10 Mi, 24. Jun. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
11 Mi, 1. Jul. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
12 Mi, 8. Jul. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
13 Mi, 15. Jul. 2015 09:50 11:30 S215/201 Dr. rer. nat. Matthias Schröder
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
Lehrende
Dr. rer. nat. Matthias Schröder