Logik

Wintersemester 2010/2011


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:

Stundenplan laut Univis


Zur Lehreseite der Forschungsgruppe Theoretische Informatik

E-Mail an Webmaster: logik (at) iws.cs.uni-magdeburg.de