Mathematical Logic
Group
(Department of
Mathematics, University of
Bonn)
Diplomandenseminar
Wintersemester 04/05
Dozenten:
Zuständiger Mitarbeiter für die Organisation:
- 21.10. Vorbesprechung und Vortrag Thomas Waltke: pcf-Theorie.
- 28.10. Alexander Rothkegel: Saturierte Modelle.
- 4.11. Florian Werne: Gödels Unvollständigkeitssätze und die Theorie der
endlichen Mengen
- 11.11. Philipp Hieronymi: Topos-Theorie
- 18.11. Irina Arndt: Forcing mit Booleschen Algebren
- 25.11. Michael Klein: tba
- 6.1.2005 Michael Klein
- 20.1.2005 Drei Vorträge Anfang 15 Uhr (c.t.)
- Bernhard Fisseni: ProofML- Eine Annotationssprache für
mathematische Beweise.
- Martin Müller: Ontologien für Euklidische Beweise.
- Darja Mönke: Ein Parser für Mathematische Beweise
Donnerstags 14-16 Uhr (c.t.) im Seminarraum A (Be4). Vorbesprechung: 21. Oktober!
Last changed: November 3th, 2004