|
WWU Münster Mathematik: Logik |
| Veranstalter: | Prof. Dr. W. Pohlers, Zi. 810 (Sekretariat Frau Pfeifer, Zi. 811),
Ch. Duchhardt, Zi. 812, Tel. 83-33766 |
| Zeit der Vorlesung: | Montag und Donnerstag 13-15 Uhr, M6 |
| Belegnummern: | Vorlesung: 104.174, Übungen: 104.193 |
| Beginn: | Die erste Vorlesung findet am Montag, den 11.04.2005 statt. |
| Inhalt: | Aufbauend auf dem Stoff der Vorlesung 'Logik I' (Einführung in die Mathematische Logik und Theoretische Informatik) entwickeln wir einen Kalkül für die Prädikatenlogik der ersten Stufe. Wir beweisen Gentzens Hauptsatz über umwegfreies Schließen und studieren dessen Konsequenzen. Danach führen wir die Grundbegriffe der Modelltheorie ein. Wir beschäftigen uns anschließend mit den Grenzen der Formalisierbarkeit der Mathematik im Rahmen der Prädikatenlogik und beweisen die Unvollständigkeitssätze von Gödel. |
| Literatur: |
W. Pohlers, T. Glass: 'An Introduction to Mathematical Logic', Skript 1992 (siehe auch hier) Ebbinghaus, Flum, Thomas: 'Einführung in die Mathematische Logik', Spectrum Verlag, 4. Auflage (1996) J.R. Shoenfield: 'Mathematical Logic', Addison Wesley (1967) und ein möglichst aktuelles Skript zur Vorlesung als pdf-Dateil oder als ps-Datei , das simultan zur Vorlesung fortgeschrieben wird, und daher eine fortwährende Baustelle darstellt. |
| Übungen: | Mittwochs, 15-17 Uhr im SR8 bei Benjamin Claverie. Die erste Übung findet am 20.04. statt. |
| Übungsschein: | Einen Übungsschein erhält man durch: - das Erlangen von mindestens 50% der möglichen Punkte aus den Übungsaufgaben und - aktive Teilnahme an den Übungen (u.a. mehrfaches Vorrechnen und regelmäßige Anwesenheit). |
| Bei Problemen: | Sprechen Sie die Veranstalter an oder schicken Sie eine Email an Christoph Duchhardt. |
Zum Herunterladen:
|
Der Merkzettel zu den Übungen als ps-Datei oder als pdf-Datei. | ||||||||||||||||||||||||||||||||||||
|
Die Übungsbögen:
|
