SS 2012: Logik

Dozentin / Übungsleitung

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

Übungsleitung:
Christoph Blume (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 2011 (mit den Folien des Vorjahres).

 

Klausur

  • Die Klausur im Sommersemester 2012 findet am 07.08.2012 ab 14.00 Uhr im Raum BA 026 statt. Für die Klausur sind keinerlei Hilfsmittel zugelassen.
  • Am schwarzen Brett zwischen LF 263 und LF 264 hängen die Klausurergebnisse der Logikklausur vom 07.08.2012 aus. In den Ergebnissen ist der Bonus durch die Bearbeitung der Übungsaufgaben bereits eingerechnet.
  • Die Klausureinsicht findet am 27.08.2012 ab 16 Uhr in Raum LF 261 statt.
  • Die Scheine für die Mathematikstudierenden, die sich nicht über das Prüfungsamt angemeldet haben, können ab sofort im Sekretariat (LF 227) abgeholt werden.

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

Klausur:

Die Klausur findet am 7. August 2012 ab 14.00 Uhr im Raum BA 026 statt. Für die Klausur sind keinerlei Hilfsmittel zugelassen.

Vorlesung:

  •  Mi, 12–14, LE 105

Vorlesungsbeginn: Mittwoch, den 11. April

Am 27.6. fällt die Vorlesung aufgrund des Dies Academicus aus.

Übungen:

  • Gruppe 1:
    Do, 10:15–11:15, SG 158
  • Gruppe 2:
    Fr, 10:00–12:00, LC 137
  • Gruppe 3:
    Fr, 12:00–14:00, LC 137

Übungsbeginn: Donnerstag, den 26. April

Aktuelles

no news in this list.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin