Logik

Kurs im Wintersemester 2011/12 von  Till Mossakowski und Lutz Schröder

K 4 SWS 
Di von 14:00 - 16:00 MZH 1380
Do von 16:00 - 18:00 MZH 1470
Beginn der Vorlesung: 01.11.2011
Die Vorlesung fällt am 17.11. aus, da die KIF den Raum belegt.
VAK: 03-BB-605.01
ECTS: 6

Logik wird in der Informatik an vielen Stellen eingesetzt, und zwar immer da, wo etwas formal in seinen Eigenschaften beschrieben werden soll (z.B. Programme, Sprachen, Graphen, Netzwerkprotokolle, Agenten, ...). Basierend auf solchen logischen Beschreibungen ist es dann auch möglich, Beweise zu führen (neben den Beweisen, die ihr aus der Mathematik kennt, auch z.B. Programm- oder Protokollverifikation). Außerdem kann man sogar in Logik direkt programmieren (vgl. Prolog), und das sehr problemnah.

Diese Vorleseung führt in die Prädikatenlogik erster Stufe ein, die in vieler Hinsicht grundlegend ist. Themen sind: Aussagen- und Prädikatenlogik, logische Formalisierung, logische Folgerung, Spiele zum Herausfinden von Wahrheitswerten, was ist ein Beweis?, Beweiskalküle, Korrektheit, Vollständigkeit, Anwendungen in der Informatik (Programmverifikation, Prolog).

Als Grundlage soll das Buch "Sprache, Beweis und Logik'' von Jon Barwise und John Etchemendy (CSLI Stanford) dienen. Es ist didaktisch sehr gut aufgebaut und vor allem ist zusätzlich eine CD mit vier Programmen erhältlich, die es möglich machen, selbst am Computer Übungen zur Logik durchzuführen. Zudem gibt es über einen Server in Stanford direktes Feedback zu den Lösungen. Das Buch und die Software wurden national und international schon sehr erfolgreich an vielen anderen Unis eingesetzt. Es ist inzwischen im Mentis-Verlag auch in deutscher Übersetzung erschienen. Buch und auch die CD werden ein zentraler Bestandteil dieser Vorlesung sein.

Lokale Informationen zum Buch und zur Software (nur innerhalb des FB3 zugreifbar, oder durch Einloggen auf einem FB3-Rechner und Benutzung von lynx).
Buch und CD sind z.B. in der Uni-Buchhandlung erhältlich.

Scheinkriterien

Hinweis zum Grade grinder: die der CD beiliegende Nr. muss unter "Registration ID" eingegeben werden. Unter "Instructor's Name" muss "Till Mossakowski", und unter "Instructor's Email Address" muss "till@informatik.uni-bremen.de" eingegeben werden. "Your name" und "Your Email address" sind selbsterklärend - aber Achtung: diese dürfen sich für eine bestimmte Registration-ID nicht mehr ändern, sondern müssen stets gleich bleiben.

Übungen (Abgabe per Grade grinder oder über logic.informatik...)

• bis einschließlich Kapitel 2.2: Abgabe bis 17.11.11
• bis einschließlich Kapitel 3: Abgabe bis 21.11.11
• bis einschließlich Kapitel 5: Abgabe bis 28.11.11
• bis einschließlich Kapitel 7: Abgabe bis 05.12.11
• bis einschließlich Kapitel 9: Abgabe bis 12.12.11
• bis einschließlich Kapitel 11: Abgabe bis 09.01.12
• bis einschließlich Kapitel 13: Abgabe bis 16.01.12
• bis einschließlich Kapitel 16: Abgabe bis 23.01.12
• bis einschließlich Kapitel 17: Abgabe bis 30.01.12
• bis einschließlich Kapitel 18: Abgabe bis 06.02.12
• bis einschließlich Kapitel 19: Abgabe bis 13.02.12