| WWU Münster Mathematik: Logik |
Wintersemester 2005/2006
| Veranstalter: | Prof. Dr. R. Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811),
Ch. Duchhardt, Zi. 812, Tel. 83-33766 |
| Zeit der Vorlesung: | Montag und Donnerstag 13-15 Uhr, M4 |
| Beginn: | Die erste Vorlesung findet am 17.10. statt; der Übungsbetrieb startet am 26.10. |
| Belegnummern: | Vorlesung: 104.163, Übungen: 104.178 |
| Inhalt: | Die Vorlesung bietet eine Einführung in die Theorie der Berechenbarkeit und des Beweisens. Der Begriff der Berechenbarkeit wird mit Hilfe von Turing-Maschinen eingeführt; diese sind das mathematische Modell eines Computers. Solche Maschinen erlauben eine präzise und dennoch anschauliche Behandlung der grundlegenden Fragen der theoretischen Informatik, etwa: Welche Funktionen sind berechenbar? Welche Probleme sind entscheidbar? Wie schnell kann ein gegebenes Problem entschieden werden? Wir werden auch sehen, wie die Begriffe des mathematischen Beweisens und des mathematischen Satzes formal zugänglich sind. Allerdings ist die Frage, ob ein gegebener Satz beweisbar ist oder nicht, nicht entscheidbar. Diese Beobachtung führt zu den Gödelschen Unvollständigkeitssätzen. Auf der anderen Seite sagt der Gödelsche Vollständigkeitssatz, dass unsere Beweismethoden erschöpfend sind. |
| Literatur: | - H. Enderton: A mathematical introduction to logic, Academic Press 2001, - M. Sipser: Introduction to the theory of computation, Boston 1997 - ein Skript (im ps-Format), das parallel zur Vorlesung erstellt wird |
| Übungen: | Mittwoch, 13-15, SR8, bei Arthur Penkala, Mittwoch, 15-17, M3, bei Thomas Paetz, Mittwoch, 17-19, SR 8, bei Arthur Penkala und Freitag, 9-11, SR 8, bei Thomas Paetz. |
| Übungsschein: | Einen Übungsschein erhält man durch: - aktive Teilnahme an den Übungen (u.a. mehrfaches Vorrechnen), - das Erlangen von mindestens 50% der möglichen Punkte aus den Übungsaufgaben, - das Bestehen der Abschlußklausur. |
| Aufgaben: | Die Aufgaben werden jeweils montags in der Vorlesung ausgegeben, die Lösungen können
dann bis zum folgenden Montag, 13:15 Uhr, in die Briefkästen 86-89 geworfen werden. Bis zu zwei Teilnehmer dürfen zusammen abgeben, wobei jeder einen relevanten Teil verantworten (insbesondere vorrechnen können) muss. Die regelmäßige Beteiligung jedes Gruppenmitglieds muss auch an der Handschrift auf den abgegebenen Zetteln erkennbar sein. |
| Klausur: | 14. Februar 2006, 14-17 Uhr. |
| Rückgabe der Klausur: | Mittwoch, 8.3., 15 Uhr im M4 |
| Nachklausur: | Dienstag, 11. April, 15-18 Uhr im M1. Diplom-Informatiker melden sich bitte rechtzeitig im Sekretariat Frau Pfeifer, Zi. 811, an. |
| Zur Vorbereitung | bietet Arthur Penkala am Donnerstag, 6. April um 17 Uhr eine Fragestunde an. Treffpunkt 8.Stock. |
| Rückgabe der Nachklausur: | Donnerstag, 20. April, 13 Uhr s.t. im M6. |
| Bei Problemen: | Sprechen Sie die Veranstalter an oder schicken Sie eine Email an Christoph Duchhardt. |
Hier gehts zum Eintrag der
Vorlesung bzw. der Übungen im Vorlesungsverzeichnis.
Zum Herunterladen:
 |
Die Knobelaufgaben der ersten Woche als ps-Datei oder als pdf-Datei. | |||||||||||||||||||||||||||||||||||||||
|
Die Übungsbögen:
|
