Lehrbeauftragter: | Prof. Dr. Jürgen Dassow |
Wochenstunden: | 2+2+0 |
Zuhörerkreis: | Bachelor CV, Inf, IngIF, WIF, 1. Semester |
Voraussetzungen: | keine |
Prüfung: | Klausur, 120 Minuten |
Unbenoteter Schein: | Bestehen der Prüfungsklausur |
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.
Klausur für Prüfung oder unbenoteten Leistungsnachweis:
Eine Möglichkeit zur
Einsicht in die Klausuren
besteht am Donnerstag, dem 7. April 2011
von 15 Uhr bis 17 Uhr im Raum G29-018.
Folien: Teil 1, Teil 2, Teil 3, Teil 4.
Übungsblätter:
Literatur:
E-Mail an Webmaster: logik (at) iws.cs.uni-magdeburg.de