Logik

Wintersemester 2008/2009


Lehrbeauftragter: Prof. Dr. Jürgen Dassow
Wochenstunden: 3+2+0
Zuhörerkreis: Bachelor IF 1. Semester, Bachelor CV 5. Semester, Bachelor CSE 5. Semester
Voraussetzungen: keine

Prüfung:

Eine Möglichkeit zur Einsicht in die Klausuren besteht am Dienstag, dem 7. April 2009 von 8 bis 11 Uhr sowie von 14 bis 15 Uhr im Raum G29-011.

Prüfungsanmeldung:

Näheres dazu findet man hier.

Prüfungszulassung:

Zu den Übungen gibt es Übungsblätter. Es müssen zu Beginn jeder Übung Aufgaben votiert werden. Damit zeigt die/der Studierende dem Übungsleiter, dass sie/er bereit ist, bei Aufforderung zu den votierten Aufgaben vorzutragen (Lösungsvorschläge werden diskutiert, sie müssen nicht gleich perfekt richtig sein!). Für die Prüfungszulassung sind folgende Leistungen zu erbringen:

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

Übungsaufgaben:

Literatur:

Informationen:

Folien:

Stundenplan laut Univis


Zurück zur Lehreseite der Forschungsgruppe Theoretische Informatik

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