Logik in der Informatik Prof. Dr. Martin Grohe

Aktuelles

• Am 21.04.2011 sowie am 06.05.2011 von 10:00 bis 11:00 wird es in Raum IV.410 im John-von-Neumann-Haus eine Klausureinsicht für die Klausuren vom 28.2.2011 und 8.4.2011 geben. (An beiden Terminen für beide Klausuren.)
• Die Ergebisse der Klausur vom 28.2.2011 und 8.4.2011 finden Sie hier.
• Lösungen zur Probeklausur finden Sie hier.
• Ab sofort findet das Prolog-Praktikum Donnerstags 9:15-10:45, Raum 1'303, wieder statt.
• Hier finden Sie eine Musterlösung zur DPLL-Aufgabe.

Einführung

Logik spielt ein grundlegende Rolle in vielen verschiedenen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken, und der theoretischen Informatik. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Jahrhunderts herausgebildet hat. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenständige, von den Anwendungen bestimmte Richtung entwickelt.

Die Vorlesung ist eine Einführung in die Logik und ihre Anwendungen in der Informatik. Darüber hinaus wird die logikbasierte Programmiersprache Prolog eingeführt.

Inhalt

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 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1.303

Donnerstags 11-13 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1.303

 

Dozent

Prof. Dr. Martin Grohe

Sprechstunde: Dienstags 14-15 Uhr

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 bis zum 22.10.2010 mittels GOYA für eine Übungsgruppe an.

Zeiten und Räume

Eine Liste mit allen Übungsgruppen finden Sie hier.

 

Übungsgruppenleiter/innen

PD Dr. Louchka Popova-Zeugmann (Sprechstunde: Dienstags 14-15 Uhr)

Dipl. Math. Kord Eickmeyer (Sprechstunde: Dienstags 11-12 Uhr)

 

Tutoren

Lena Kalleske

Aziz Erkal Selman

Donnerstags, 9-11, findet im Raum 1'303 ein Prolog-Praktikum statt. Das Praktikum wird zusätzliche Programmierbeispiele enthalten, außerdem können Fragen zum Thema Prolog gestellt werden. Die Teilnahme daran bedarf keiner weiteren Anmeldung und ist selbstverständlich freiwillig.

Übungsaufgaben

Insgesamt zwölf Aufgabenblätter werden im Laufe des Semesters ausgegeben. Jedes Übungsblatt enthält drei theoretische und eine praktische Übung. 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. Die praktischen Aufgaben müssen über GOYA abgegeben werden. Die theoretischen Aufgaben müssen schriftlich bearbeite werden und werden Donnerstags vor der Vorlesung eingesammelt. Sollte Ihnen die Abgabe vor der Vorlesung einmal nicht möglich sein, so können Sie Ihre Lösungen auch bis 11: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.

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.

Prüfung

Die schriftliche Prüfung findet am Montag, dem 28. Februar 2011 von 10:00 bis 13:00 Uhr im Raum 0'115 des Schrödingerzentrums (Rudower Chaussee 26) statt. Einlass ab 9.30 Uhr.

Eine Wiederholungsprüfung (ebenfalls als Klausur) findet am Freitag, dem 8. April 2011 von 10:00 bis 13:00 Uhr statt.

Probeklausur

Zur Vorbereitung auf die Klausur fand am 25. Januar 2011 eine Probeklausur statt. Hier sind die Klausur und Lösungen:

• Klausur
• Lösungen

Literatur

Haupthema der Vorlesung ist die Logik. Folgende Bücher seien dazu zur Vertiefung des Vorlesungstoffes empfohlen:

[B]	S. Burris, Logic for Mathematics and Computer Science. Prentice Hall, 1998.
[KK]	M. Kreuzer, S. Kühling. Logik für Informatiker. Pearson, 2006.
[S]	U. Schöning, Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000.

Als Ergänzung seien auch noch folgende Bücher genannt:

[C]	P. J. Cameron, Sets, Logic and Categories. Springer Verlag, 1998.
[vD]	D. van Dalen, Logic and Structure. 4th Edition, Springer Verlag, 2004.
[EFT]	H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die Mathematische Logik. 5. Auflage, Spektrum Akademischer Verlag, 2007.
[HR]	M. Huth and M. Ryan, Logic in Computer Science – Modelling and Reasoning About Systems . 2nd Edition, Cambridge University Press, 2004.

Im praktischen Teil der Vorlesung beschäftigen wir uns mit der Programmiersprache Prolog. Hier basiert die Vorlesung auf den folgenden beiden Büchern:

[BBS]	Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn PROLOG Now!. Kings College Publications, 2006. Online version.
[SS]	Ehud Shapiro, Leon Sterling, The Art of PROLOG: Advanced Programming Techniques. 2nd Edition, MIT Press, 1994.

Auch hier ergänzend noch einige weitere Bücher:

[DEC]	Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni, Prolog: The Standard: Reference Manual. Springer Verlag, 1996.
[CM]	William F. Clocksin, Christopher S. Mellish, Programming in Prolog: Using the ISO Standard. 5th Edition, Springer Verlag, 2010.
[Clo]	William F. Clocksin, Clause and Effect: Prolog Programming for the Working Programmer. Springer Verlag, 1997.

Programmierresourcen

Wir verwenden in der Vorlesung SWI-Prolog. Ein Kurzanleitung für den Einstieg in SWI-Prolog finden Sie hier.