|
Logik in der Informatik
Prof. Dr. Martin Grohe |
 Institut für Informatik |
Nach einer kurzen Einführung in die mathematischen Begriffe und Techniken hat die Vorlesung drei Teile, in denen die Aussagenlogik, die Logik der ersten Stufe und eine formale Fassung des Berechenbarkeitsbegriffes behandelt werden. Stets sollen dabei Bezüge zu Anwendungen in verschiedenen Bereichen der Informatik aufgezeigt werden.
Ein Inhaltsverzeichnis finden Sie hier.
Die Vorlesung basiert auf einer Serie von Folien, die Sie vor der jeweiligen Vorlesung hier finden können.
Neben den Folien wird auch die Tafel verwendet, insbesondere um Beispiele und Beweise zu entwickeln. Beachten Sie, dass alles in der Vorlesung besprochene Material (insbesondere auch das, was an der Tafel steht) und nicht nur das auf den Folien Dargestellte prüfungsrelevant ist. Es ist deswegen wichtig, dass Sie sich zur Prüfungsvorbereitung geeignete Notizen machen.
Ergänzend zu den Vorlesungen finden 2-stündige Übungen in kleinen Gruppen statt, in denen Fragen zur Vorlesung diskutiert und die Hausaufgaben besprochen werden.
Neben den "normalen" Übungsgruppen bieten wir auch zwei "Basisgruppen" und eine "fortgeschrittene" Übungsgruppe an. Jede/r Student/in muss selbst entscheiden, in welche Art von Gruppe er möchte. Diese Entscheidung sollte sich vor allem an den mathematische Kenntnissen und Fähigkeiten orientieren.
Melden Sie sich bitte bis Freitag, 24. Oktober mittels GOYA für eine Übungsruppe an.
Insgesamt zehn Aufgabenblätter werden im Laufe des Semesters ausgegeben. Die bearbeiteten Aufgaben müssen abgegeben werden und werden von unseren Tutoren/innen korrigiert. Die Abgabe erfolgt in der Übungsgruppe jeweils in der übernächsten Woche nach der Ausgabe des Aufgabenblattes.
Obwohl es sicherlich sinnvoll ist, über die Aufgaben mit Kommilitonen/innen gemeinsam zu reden und nachzudenken, sollte jede/r Student/in seine eigene Lösung aufschreiben und abgeben.
Um die Zulassung für die Prüfungsklausur zu erlangen, müssen insgesamt 40% der erreichbaren Punkte erzielt werden.
Es werden zwei Klausuren geschrieben, eine Zulassungsklausur und eine Prüfungsklausur.
Aufgrund des studentischen Streiks findet die Zulassungsklausur auf freiwilliger Basis statt und hat keine Relevanz für die Zulassung zur Prüfungsklausur.
Die Prüfungsklausur ist die Prüfung für das Modul Theoretische Informatik I und damit Teil der Vordiplomsprüfung.
| [S] | U. Schöning, Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000. |
| [EFT] | H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die Mathematische Logik. 4. Auflage, Spektrum Akademischer Verlag, 1996. |
| [B] | S. Burris, Logic for Mathematics and Computer Science. Prentice Hall, 1998. |
| [G] | R. P. Grimaldi, Discrete Mathematics. 4. Edition, Addison Wesley 1998. |
| [C] | P. J. Cameron, Sets, Logic and Categories. Springer Verlag, 1998. |
| [H] | Douglas R. Hofstadter, Gödel, Escher, Bach - ein Endloses Geflochtenes Band. DTV, 1991. |