Computable Functionals
Dozent:
Prof. Dr. Helmut Schwichtenberg
Assistent: Dr. Laura Crosilla
Termine
Vorlesung: Mo 11-13, Hörsaal E27. Beginn 7.4.
Übung: Mo 14-16, Hörsaal E27. Beginn 14.4.
Skriptum
Hier wird das (laufend aktualisierte) Vorlesungsskript veröffentlicht:
Chapter 1. Computability in Higher Types (ps,
pdf),
Stand 16. Juni 2003
Chapter 2. Constructive Analysis with Witnesses (ps,
pdf),
Stand 29. Juli 2003
Übungen
Blatt 1 (ps,
pdf)
Blatt 2 (ps,
pdf)
Blatt 3 (ps,
pdf)
Blatt 4 (ps,
pdf)
Blatt 5 (ps,
pdf)
Helmut Schwichtenberg
[Stand: 29. Juli 2003]