Inhalt
| Kommentar |
Inhalt und Lernziele:
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)
|
| 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. |
| Bemerkung |
*Zusätzlich zum Besuch der Vorlesung ist der Besuch einer Übung (Wahalterantiven) verpflichtend:
ÜB1: Di, 16:00-18:00 Uhr, LE 120
ÜB2: Do, 08:00-10:00 Uhr, LC 140
ÜB3: Do, 10:00-12:00 Uhr, LE 120
ÜB4: Do, 10:00-12:00 Uhr, LK 051
ÜB5: Do, 12:00-14:00 Uhr, LE 120
ÜB6: Do, 16:00-18:00 Uhr, LE 120
ÜB7: Fr, 12:00-14:00 Uhr, LE 120
Anmeldefrist ab dem 18.09.2025. Eine Liste freier E3-Plätze und weitere Informationen finden Sie auf unserer Homepage. Als Fachstudent*in wählen Sie zur Anmeldung das fachintern übliche Verfahren; bei LSF: die gleichnamige Veranstaltung ohne das Präfix 'E3'. |
| Voraussetzungen |
In E3 nicht geeignet für:
Fak. Informatik, Fak. IngWi, Fak. Mathe; BWL (MSM & WiWi), Energy.
Bitte nehmen Sie zur Kenntnis, dass Sie die E3-Ausschlüsse immer selbständig bei Ihrer Auswahl beachten müssen. Das LSF-System schließt Fehlanmeldungen nicht aus. Auch ist im System nicht ersichtlich, nach welcher PO Sie studieren, oder welche/s Fachwissenschaft/Anwendungsfach vorliegt. |
| Leistungsnachweis |
Klausur (120 Minuten)
Für alle E3 Kurse gilt, dass Sie sich nicht beim Prüfungswesen anmelden können/müssen. In der Regel sind Sie mit der Zulassung zum Kurs zur Prüfung angemeldet. |
