250119, PS 2st, Wintersemester 2009
Proseminar zur Einführung in die Mathematische Logik
Das ist das Proseminar zur Vorlesung Einführung in die
Mathematische Logik von Hans Adler.
| Vortragender: |
Jakob Kellner,
KGRC
|
| Ort: |
KGRC Seminarraum |
| Zeit: |
Montag 17:00-18:30. |
| Erstes Proseminar: |
Mo, 12. 10. 2009 |
Angaben:
Das dazugehoerige Vorlesungsskriptum finden Sie auf
Hans Adlers website.
-
Blatt 1 für 2009-10-12
-
Blatt 2 für 2009-10-19.
-
Blatt 3 fuer 2009-11-09
-
Blatt 4 fuer 2009-11-16
Fuer die Definition von Verband siehe Blatt 3;
die Beispiele zur Rekursionstheorie beziehen sich auf das
Kapitel 2 (S. 3-15) des
Skriptums von Sebastiaan Terwijn
-
Blatt 5 fuer 2009-11-30
-
2009-01-11: Wiederholung und Besprechung des bisherigen Vorlesungsstoffs.
-
Blatt 6 fuer 2010-01-25.