| Veranstalter: |
Prof. Dr. Wolfram Pohlers, Zi. 810 (Sekretariat Frau Pfeifer, Zi. 811),
Christoph Duchhardt, Zi. 812, Tel. 83-33766 |
| Zeit und Ort der Vorlesung: |
Montag und Donnerstag, 12-14 Uhr, M6 |
| Beginn: |
Die erste Vorlesung findet am 2.4. statt;
der Übungsbetrieb startet am 12.4.
|
| Belegnummern: |
Vorlesung: 104.163, Übungen: 104.182 |
| Inhalt: |
Aufbauend auf dem Stoff der Vorlesung 'Logik I' (Einführung in die Mathematische Logik und Theoretische Informatik) beschäftigen wir uns weiter mit den Grenzen mathematischer Axiomensysteme und beweisen die beiden Unvollständigkeitssätze von Gödel. Wir betrachten ebenfalls die Grundlagen der Modelltheorie. |
| Literatur: |
- Skript zur Vorlesung als pdf-Datei oder ps-Datei
- Chang, Keisler: Model Theory
- Kaye: Models of Peano Arithmetic
|
| Übung: |
Donnerstag, 14-16 Uhr im SR8 bei Arthur Penkala |
| Übungsschein: |
Einen Übungsschein erhält man durch:
- Erlangen von mindestens 50% der Punkte aus den Übungsaufgaben,
- regelmäßige und aktive Teilnahme an den Übungen |
| Aufgaben: |
Die Aufgaben werden jeweils montags in der Vorlesung ausgegeben, die Lösungen können dann bis zum folgenden Montag, 12:15 Uhr abgegeben werden.
|
| Bei Problemen: |
Sprechen Sie die Veranstalter an oder schicken Sie eine Email an
Christoph Duchhardt. |
