Vorlesung Logik
Vortragender: Prof. Carsten Lutz
K4, Modulbereich Theorie
Di 14-16 MZH 5210
Do 16-18 MZH 5210
Die Fachgespräche finden am 4.3. und am 18.3. statt. Anmeldungen bitte per email
Kurzbeschreibung
Die formale Logik gehört zu den zentralen theoretischen
Grundlagen der Informatik und hat einen wesentlichen Einfluß auf
die Entwicklung von Gebieten wie Datenbanken, Verifikation,
Komplexitätstheorie und formale Sprachen. Diese Vorlesung bietet
eine Einführung in die wichtigsten Themen der formalen Logik,
insbesondere in die Aussagenlogik, die Prädikatenlogik erster
Stufe und die Prädikatenlogik zweiter Stufe. Ein besonderer
Schwerpunkt liegt dabei auf Themen, die für die Informatik von
unmittelbarer Bedeutung sind, wie etwas der Entscheidbarkeit und
Komplexität logischer Probleme und der Ausdrucksstärke
logischer Formalismen. Während der Vorlesung werden
regelmäßig Querbezüge zur Informatik hergestellt,
wobei insbesondere die Themen Datenbanken, Komplexität und
formale Sprachen Berücksichtigung finden.
Folien
Können hier heruntergeladen werden:
Die Beispiele und Beweise an der Tafel sind mitzuschreiben.
Ein freundlicherweise von Studierenden angefertigtes `inoffizielles' Skript
zur Vorlesung findet sich hier.
Übungsaufgaben
An dieser Stelle wird jede zweite Woche ein Übungsblatt bereitgestellt
(insgesamt 7 Blätter)
Prüfungen
Die Prüfungsmodalitäten werden in der Vorlesung bekanntgegeben.
Literatur
- Erich Grädel. Mathematische Logik für Informatiker I.
Vorlesungsskript, RWTH Aachen.
- Leonid Libkin. Elements of Finite Model Theory. Springer Verlag,
2004
- Uwe Schöning. Logik für Informatiker. Spektrum Akademischer
Verlag, 2000 (5. Auflage).
- Christel Baier. Advanced Logics. Vorlesungsskript, TU Dresden.
AG Theorie der künstlichen Intelligenz