04-00-0206-se Seminar (log) Proof Theory (Master)

Veranstaltungsdetails

Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach

Veranstaltungsart: Seminar

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: 04-00-0206-se

Fach:

Anrechenbar für:

Semesterwochenstunden: 2

Unterrichtssprache: Deutsch und Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Das Seminar behandelt ausgewählte aktuelle Themen aus der Beweistheorie.

Voraussetzungen:
Introduction to Mathematical Logic
Basic Applied Proof Theory

Erwartete Teilnehmerzahl:
10

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Di, 16. Okt. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
2 Di, 23. Okt. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
3 Di, 30. Okt. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
4 Di, 6. Nov. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
5 Di, 13. Nov. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
6 Di, 20. Nov. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
7 Di, 27. Nov. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
8 Di, 4. Dez. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
9 Di, 11. Dez. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
10 Di, 18. Dez. 2012 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
11 Di, 15. Jan. 2013 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
12 Di, 22. Jan. 2013 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
13 Di, 29. Jan. 2013 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
14 Di, 5. Feb. 2013 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
15 Di, 12. Feb. 2013 14:25 16:05 S2 15/201 Prof. Dr. phil. nat. Ulrich Kohlenbach
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Lehrende
Prof. Dr. phil. nat. Ulrich Kohlenbach