Seminar: Konstruktive Analysis
Zeit und Ort
Mo 14-16, B252; Beginn 7. April 2014.
Inhalt
Es sollen die Grundlagen der konstruktiven Analysis sowie
der Extraktion von Programmen aus Beweisen erarbeitet werden.
Vorausgesetzt werden Kenntnisse in Mathematischer Logik (eine
einführende
Vorlesung). Ferner wird
vorausgesetzt, daß die Teilnehmer das Tutorium des Beweisassistenten
Minlog
durchgearbeitet haben. Der parallele Besuch der Vorlesung
Logik II
(Mo, Mi 8-10 A027 mit Übung Fr 8-10 A027) wird empfohlen.
Vorträge
Die Vorträge wurden in der Seminarsitzung am 7. April verteilt.
- Einführung. Helmut Schwichtenberg, 14. und 28. April. Folien zur
Gleichheit reeller Zahlen und zum Archimedischen Axiom finden Sie
hier.
- Nicht-negative und positive reelle Zahlen.
Tillman Ritschl, 5. Mai
- Arithmetische Funktionen.
Andreas Franz, 12. Mai
- Vergleich reeller Zahlen.
Franziskus Wiesnet, 19. Mai
- Vollständigkeit.
Stephan Kulla, 26. Mai
- Suprema und Infima.
Felix Monninger, 2. Juni
- Suprema und Infima (Fortsetzung).
Felix Monninger, 16. Juni
- Implementation of Deflate in Coq.
Christoph-Simon Senjak, 30. Juni (Gastvortrag)
- Coq, Agda und Isabelle, 7. Juli
- Bishops Lemma.
Christian Ittner, 18. August
Materialien
Materialien zu den Vorträgen
Sprechstunden
Studienordnungen
Das Seminar ist unter P8 und WP6.3 (bzw. P15.1 und WP6.3) in der
Bachelorstudienordnung Mathematik (bzw. Wirtschaftsmathematik)
aufgelistet (3 ECTS Punkte). Im Masterstudium Mathematik (bzw.
Wirtschaftsmathematik) kann es als Teilmodul 14.2
(zusammen mit 14.1 Tutorentraining) oder 16.2 (zusammen mit 16.1 Seminar)
eingebracht werden.
Letzte Änderung
20. August 2014