Lehrbeauftragter: | Prof. Dr. Jürgen Dassow |
Wochenstunden: | 2+2+0 |
Zuhörerkreis: | Bachelor CV, Inf, IngIF, WIF, 1. Semester |
Voraussetzungen: | keine |
Prüfung: | durch Klausur, 120 Minuten, in der Prüfungszeit nach dem Semester |
Unbenoteter Schein: | durch Klausur in der Prüfungszeit nach dem Semester |
Klausuranmeldung: | über das Onlineportal HISQIS , vom 18. November 2011 bis 10. Januar 2012 |
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.
Zulassung zur Klausur:
Klausur: Eine Möglichkeit zur Einsicht in die Klausuren wird demnächst hier bekanntgegeben. Folien: Teil 1, Teil 2, Teil 3, Teil 4Übungsblätter:
Literatur:
E-Mail an Webmaster: logik (at) iws.cs.uni-magdeburg.de