Lehrbeauftragter: | Prof. Dr. Till Mossakowski |
Wochenstunden: | 2 SWh Vorlesung, 2 SWh Übung |
Zuhörerkreis: | Bachelor CV, INF, IngIF, 1. Semester |
Voraussetzungen: | keine |
Prüfung: | durch Klausur am 13. Februar 2017, 08:0010:00 Uhr |
Unbenoteter Schein: | durch Klausur am 13. Februar 2017, 08:0010:00 Uhr |
Klausuranmeldung: | 16. Dezember 2016 bis 16. Januar 2017 |
Inhalt: Ausdrücke, semantische Äquivalenz, Normalformen, Verfahren zur (Semi-)Entscheidbarkeit des Erfüllbarkeitsproblems in der Aussagen- und Prädikatenlogik, theoretische Grundlagen der logischen Programmierung, Ausblick auf weitere informatikrelevante Logiken.
Literatur: Jon Barwise und John Etchemendy: Sprache, Beweis und Logik. Mentis-Verlag, 2005, ISBN: 978-3-89785-440-6, siehe auch hier.
Software: Zum Buch gehören die Programme Tarski's World, Fitch, Boole und Submit (siehe auch hier), allerdings benutzen wir das Programm Submit nicht. Die Software läuft auf den Plattformen Linux, Windows sowie Mac (auch Mac mit Intel-Prozessor).
Klausur: Eine Möglichkeit zur Klausureinsicht besteht am Dienstag, dem 13. Juni 2017, und am Freitag, dem 16. Juni 2017, jeweils von 12:30 bis 13:30 Uhr im Raum G29-018. Aktuelle Informationen:
Übungsaufgaben: (Die Aufgabennummern beziehen sich auf das Buch Sprache, Beweis und Logik, der Zugang ist geschützt, siehe oben.)