Logik in der Informatik
Prof. Dr. Martin Grohe

Institut für Informatik

Vorlesung Theoretische Informatik I

Aktuelles  Einführung  Logbuch  Vorlesungsbetrieb  Folien  Übungsbetrieb  Aufgaben  Klausuren  Literatur

Aktuelles

Einführung

Als erste der drei Theorievorlesungen im Grundstudium führt diese Vorlesung in die logischen Grundlagen der Informatik ein. In der Vorlesung werden Ihnen Fertigkeiten vermittelt, die es Ihnen gestatten, mathematische Modelle von Sachverhalten zu bilden, diese präzise zu formulieren sowie folgerichtige Argumentationen aufzubauen.

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.

Logbuch

Hier finden Sie (nach den Vorlesungen) Informationen zum Inhalt der einzelnen Vorlesungen und gelegentlich auch Korrekturen und sonstige Bemerkungen.

Informationen zum Vorlesungsbetrieb

Zeiten und Räume
Dienstags 9-11 im Schrödinger Zentrum (Rudower Chaussee 26), Saal 0'115
Donnerstags 9-11 im Schrödinger Zentrum (Rudower Chaussee 26), Saal 0'115
 
Dozent
Prof. Dr. Martin Grohe
Sprechstunden: Dienstags und Donnerstags 11:30 - 12:30

Folien

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.

Informationen zum Übungsbetrieb

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.

Zeiten und Räume
Eine Liste mit allen Übungsgruppen finden Sie hier.
 
Übungsgruppenleiter/innen
Dr. Stephan Kreutzer
Dr. Louchka Popova-Zeugmann
Dr. Nicole Schweikardt
 
Nachrichten der Tutoren/innen
Hier finden Sie Mittteilungen der Tutoren zur Korrektur der Übungsaufgaben. Sehen Sie bitte regelmäßig nach, ob es Neues gibt.

Übungsaufgaben

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.

Klausuren

Es werden zwei Klausuren geschrieben, eine Zulassungsklausur und eine Prüfungsklausur.

Zeiten und Räume
Zulassungsklausur:
Samstag, 29.11.2003, 10-12 Uhr im Audimax (Raum 01 / 2116 im Hauptgebäude, Unter den Linden 6)
Prüfungsklausur:
Freitag, 27.2.2004, 14-17 Uhr im Audimax (Raum 01 / 2116 im Hauptgebäude, Unter den Linden 6)

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.

Literatur

Folgende Bücher seien zur Vertiefung des Vorlesungstoffes empfohlen:
[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.
Als Ergänzung seien auch noch folgende Bücher genannt:
[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.
Last modified: Fri Oct 15 14:32:26 CEST 2004
Martin Grohe