| Veranstaltungsnummer | 040125 |
| Modulnummer | INF-BA-106 |
| Titel | Logik |
| Veranstalter | Prof. Dr. Thomas Schwentick |
| Klassifikation |
Pflichtvorlesung im Bachelor Informatik (Modul Logik für Informatik) Pflichtvorlesung im Bachelor Datenanalyse und Datenmanagement (Modul Logik und Informationssysteme) |
| Semester | Wintersemester 2018/19 |
| SWS | 3 (2V+1Ü) |
| Kreditpunkte | 5 |
| Ort und Zeit | HG II, HS 3, montags 10:15-12:00 Uhr |
| Querverbindungen | |
| Voraussetzungen | |
| Materialien | Im Moodle-Arbeitsraum |
| Übungsleiter | Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein!, Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein! |
Hier finden Sie die Klausurtermine und alle wichtigen Informationen.
Die Vorlesung umfasst wesentliche Grundlagen der modernen mathematischen Logik, die für die Informatik relevant sind. Neben den klassischen logischen Systemen der Aussagenlogik und der Prädikatenlogik lernen die Studierenden auch neuere logische Systeme kennen, die in der Informatik verwendet werden, wie Modallogik und Temporallogik. Für diese Logiken werden untersucht:
- Syntax und Semantik
- einige algorithmische und modelltheoretische Eigenschaften, sowie
- verschiedene Beweiskalküle mit denen man die Unerfüllbarkeit logischer Formeln untersuchen kann.
Weiterhin werden die Grundlagen der logischen Programmierung vorgestellt.
Die Vorlesung deckt im Wesentlichen Themen ab, die auch im Buch
- Kreuzer, Kühling. Logik für Informatiker. Pearson, neueste Auflage,
behandelt werden. Es gibt jedoch Unterschiede hinsichtlich der Notation. Von diesem Buch sind viele Exemplare in der Bibliothek verfügbar.