WS 2012/13: Logik

Dozentin / Übungsleitung

Dozentin:
Prof. Dr. Barbara König (Email)

Übungsleitung:
Christoph Blume (Email)
Dr. Sander Bruggink (Email)

 

Lernziele / Inhalt

Logik dient in der Informatik unter anderem als Grundlage der Datenbanken (Abfragesprache SQL), als Beschreibungssprache für Schaltkreise und als Modellierungs- und Spezifikationssprache, wo sie auch für die Analyse und Verifikation von Programmen eingesetzt wird. In Form der Logik-Programmiersprache Prolog wird Logik auch zur Wissensverarbeitung und für Expertensysteme eingesetzt. Außerdem ist die Logik ein Anwendungsgebiet der Informatik, beispielsweise bei der Entwicklung von Theorembeweisern. Im Rahmen dieser Veranstaltung werden die Grundlagen der Aussagen- und Prädikatenlogik und ihre Anwendungen vermittelt. Inhalte im Einzelnen: 

  • Aussagenlogik (Grundbegriffe, Äquivalenz und Normalformen, Hornformeln, Resolution in der Aussagenlogik, Anwendung SAT-Solver)
  • Prädikatenlogik erster Stufe (Grundbegriffe, Normalformen, Unentscheidbarkeit der Prädikatenlogik, Herbrandtheorie, Resolution in der Prädikatenlogik)
  • Grundlagen der Logik-Programmierung (SLD-Resolution)

Siehe auch die Webseite aus dem SS 2012 (mit den Folien des vorherigen Semesters).

 

Literatur

  • Die Vorlesung stützt sich im wesentlichen auf: Uwe Schöning, Logik für Informatiker. Spektrum, 2000.
  • Ein sehr gutes englisches Einführungsbuch ist Language, proof, and logic, das es auch in deutscher Übersetzung gibt:
    John Barwise, John Etchemendy, Sprache, Beweis und Logik. Mentis, 2005
  • Kreuzer, Kühling, Logik für Informatiker. Pearson, 2006
  • Tjark Weber, A SAT-based Sudoku Solver. LPAR 2005.


Tools

Folgende Werkzeuge werden in der Vorlesung eingesetzt:

Aussagenlogik:

Prädikatenlogik:

Termine

Vorlesung:

  •  Mi, 14–16, LB 104

Vorlesungsbeginn: Mittwoch, den 17. Oktober

Übungen:

  • Gruppe 1: Mi 16–18, LK 051
    Tutor: Serena Waschik
  • Gruppe 9: Mi, 16–18, MB 143
    Tutor: Christoph Blume
  • Gruppe 2: Do, 10–12, LC 141
    Tutor: Sander Bruggink
  • Gruppe 3: Do, 12–14, LK 051 (Änderung!)
    Tutor: Martin Zickert
  • Gruppe 4: Do, 14–16, LC 137
    Tutor: Sander Bruggink
  • Gruppe 6: Fr, 10–12, LF 035
    Tutor: Natalia Pufel
  • Gruppe 7: Fr, 12–14, LC 137
    Tutor: Natalia Pufel
  • Gruppe 8: Fr, 14–16, LC 137
    Tutor: Natalia Pufel

Übungsbeginn: Mittwoch, den 31. Oktober


Bemerkung: Die Gruppe am Donnerstag von 16–18 Uhr (Gruppe 5) wurde annulliert; stattdessen gibt es am Mittwoch von 16–18 Uhr eine zusätzliche Übungsgruppe (Gruppe 9).

Klausur

Die Klausur zur Vorlesung "Logik" im Sommersemester 2013 findet am 2. August 2013 von 8:30-10:30 Uhr im Raum LE 104 statt.


Die Klausurergebnisse liegen inzwischen vor und können über den zugehörigen Moodle-Kurs eingesehen werden. Die Klausureinsicht findet am Donnerstag, den 29.08.2013, in der Zeit zwischen 10.00 Uhr und 10.30 Uhr im Raum LF 264 statt.

Aktuelles

no news in this list.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin