Instituts-Logo Logik in der Informatik
Prof. Dr. Martin Grohe
Humboldt-Logo

Vorlesung Theoretische Informatik I

Aktuelles  Einführung  Logbuch  Vorlesungsbetrieb  Folien  Übungsbetrieb  Aufgaben  Prüfung  Alte Klausuraufgaben  Literatur


Aktuelles


Einführung

Inhalt des Moduls bilden die mathematischen und logischen Grundlagen der Informatik. In der Vorlesung werden Fertigkeiten vermittelt, die es gestatten, Problemstellungen der Informatik durch mathematische Modelle präzise zu erfassen 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 werden dabei Bezüge zu Anwendungen in verschiedenen Bereichen der Informatik aufgezeigt.

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
Sprechstunde: Dienstag 15:00-16:00


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.

Melden Sie sich bitte ab 11.10.2007 mittels GOYA für eine Übungsgruppe an.

Zeiten und Räume
Eine Liste mit allen Übungsgruppen finden Sie hier.
Übungsgruppenleiter/innen
Dr. Louchka Popova-Zeugmann (Sprechstunde: Montag 11.15-12.15 Uhr)
Dipl. Math. Mark Weyer (Sprechstunde: Mittwoch 14-15 Uhr)
Dipl.-Inf. Magdalena Grüber (Sprechstunde: Donnerstag 17-18 Uhr)
Nachrichten der Tutoren/innen
Hier finden Sie Mitteilungen der Tutoren zur Korrektur der Übungsaufgaben. Sehen Sie bitte regelmäßig nach, ob es Neues gibt.


Übungsaufgaben

Insgesamt zwölf Aufgabenblätter werden im Laufe des Semesters ausgegeben. Die bearbeiteten Aufgaben müssen abgegeben werden und werden von unseren Tutoren korrigiert. Die Übungsblätter werden jeweils Donnerstags verteilt, die Lösungen müssen am Donnerstag danach vor der Vorlesung abgegeben werden. Sollte Ihnen die Abgabe vor der Vorlesung einmal nicht möglich sein, so können Sie Ihre Lösungen auch bis 9:15 Uhr am jeweiligen Donnerstag in den Briefkasten vor dem Sekretariat des Lehrstuhls Logik in der Informatik (Raum 4.402 RUD 25) einwerfen.

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.

Die Aufgaben werden von unseren Tutoren
(Sprechstunde: Donnerstag, 15-16 Uhr, Haus IV, R.406) korrigiert.

Für den Erwerb eines Übungs- oder Teilnahmescheins müssen insgesamt 40% der erreichbaren Punkte erzielt werden. Der Erwerb eines Übungsscheins ist die Voraussetzung für die Teilnahme an der Klausur.

Achtung Magisterstudenten: Auch wenn Sie nicht an der Prüfungsklausur teilnehmen, müssen Sie an den Übungen teilnehmen und mindestens 40% der erreichbaren Punkte erzielen, um einen Übungs- oder Teilnahmeschein zu erhalten.


Prüfung

Die Prüfungsklausur findet am Freitag, dem 22. Februar 2008 von 10:00 bis 13:00 Uhr in den Räumen 0'115 und 0'110 im Schrödingerzentrum (Rudower Chaussee 26) statt.

Sie ist die Prüfung für das Modul Theoretische Informatik I und damit Teil der Vordiplomsprüfung bzw. Bachelorprüfung.

Eine Wiederholungsprüfung (ebenfalls als Klausur) findet am Mittwoch, dem 9. April 2008 von 10:00 bis 13:00 Uhr in den Räumen 0'115 und 0'110 im Schrödingerzentrum (Rudower Chaussee 26) statt.


Alte Klausuraufgaben

Zur Vorbereitung auf die Klausuren stellen wir Ihnen einige alte Klausuren aus den Vorjahren zur Verfügung.


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:
[C] P. J. Cameron, Sets, Logic and Categories. Springer Verlag, 1998.
[HR] M. Huth and M. Ryan, Logic in Computer Science – Modelling and Reasoning About Systems . 2nd Edition, Cambridge University Press, 2004.
[vD] D. van Dalen, Logic and Structure. 4th Edition, Springer Verlag, 2004.
[EMCGZ] H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, P. Zeitz, Mathematisch-strukturelle Grundlagen der Informatik. Springer Verlag, 1999.
[G] R. P. Grimaldi, Discrete Mathematics. 4th Edition, Addison Wesley 1998.


Last modified: Thu Mar 6 11:15:39 CET 2008
Martin Grohe
Valid HTML 4.01!