WS 2014/15: Logik

Dozentin / Übungsleitung

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

Übungsleitung:
Dennis Nolte (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 WS 13/14 (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

Kausur:

  • Die zweite Klausur findet am Mittwoch den 29. Juli 2015 in der Zeit von 8:30 - 10:30 Uhr in LC 137 statt.

  • Die Klausur findet am Mittwoch den 04. März 2015 in der Zeit von 8:30 - 10:30 Uhr in LX 1205 statt.

Vorlesung:

  • Mittwoch, 8:30–10:00, LB 107
    Erste Vorlesung: 15.10.2014.

Übungsgruppen

  • Gruppe 1: Mi, 16–18, LE 105 Tutor: Rebecca Bernemann
  • Gruppe 2A: Do, 10–12, LC 137 Tutor: Christopher Ringhofer
  • Gruppe 2B: Do, 10–12, LF 226 Tutor: Peter Zdankin
  • Gruppe 3: Do, 12–14, LE 120 Tutor: Matthias Schaffeld
  • Gruppe 4: Do, 14–16, LF 035 Tutor: Dennis Nolte
  • Gruppe 6: Fr, 08–10, LF 035 Tutor: Romina Barth
  • Gruppe 7: Fr, 12–14, LE 120 Tutor: Dennis Nolte

Die Übungsgruppen beginnen ab dem 29.10.2014.

Aktuelles

Keine Artikel in dieser Ansicht.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin