Logik

Wintersemester 2014/2015


Lehrbeauftragter: Prof. Dr. Till Mossakowski
Wochenstunden: 2 SWh Vorlesung, 2 SWh Übung
Zuhörerkreis: Bachelor CV, INF, IngIF, WIF, 1. Semester
Voraussetzungen: keine
Prüfung: durch Klausur am 16. Februar 2015, 13:30–15:30 Uhr
Unbenoteter Schein: durch Klausur am 16. Februar 2015, 13:30–15:30 Uhr
Klausuranmeldung: über das Onlineportal HISQIS , vom 1. Dezember 2014 bis 18. Januar 2015.

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). Die Software läuft auf den Plattformen Linux, Windows sowie Mac (auch Mac mit Intel-Prozessor).

Übungen: Zu den Übungen gibt es Übungsblätter und Übungsaufgaben aus dem Buch. Zulassung zur Klausur:

Klausur: am Montag, dem 16. Februar 2015, von 13:30 bis 15:30 Uhr in den Räumen G26-H1 und G29-307.
Damit pünktlich begonnen werden kann, sind die Plätze spätestens 15 Minuten vor Beginn einzunehmen.
Es sind keine Hilfsmittel zugelassen, Papier und Schreibutensilien sind mitzubringen.
Die Aufteilung der Studenten auf die Räume ist folgende.

Aktuelle Informationen: Folien:   Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6, Teil 7, Teil 8, Teil 9, Teil 10, Teil 11, Teil 12, Teil 13, Teil 14.

Übungsaufgaben: (Die Aufgabennummern beziehen sich auf das Buch Sprache, Beweis und Logik.)


Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster