Logik

Wintersemester 2009/2010

Lehrbeauftragter:	Prof. Dr. Jürgen Dassow
Wochenstunden:	3+2+0
Zuhörerkreis:	Bachelor Inf 1. Semester; Bachelor CV, IngIF, WIF 5. Semester
Voraussetzungen:	keine
Prüfung:	Klausur, 120 Minuten

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.

Prüfung: Die Wiederholungsklausur findet am Mittwoch, dem 21. Juli 2010, im Raum G29-307 von 09:15 bis 11:15 Uhr statt.
Die Plätze sind spätestens 09:00 Uhr einzunehmen.

Informationen:

Folien:

Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6.

Übungsblätter:

Übungsblatt 1 (43. KW), Übungsblatt 2 (44. KW), Übungsblatt 3 (45. KW), Übungsblatt 4 (46. KW), Übungsblatt 5 (47. KW),
Übungsblatt 6 (48. KW), Übungsblatt 7 (49. KW), Übungsblatt 8 (50. KW), Übungsblatt 9 (51. KW),
Übungsblatt 10 (52./1. KW), Übungsblatt 11 (2. KW), Übungsblatt 12 (3. KW), Übungsblatt 13 (4. KW).

Literatur:

J. Dassow: Logik für Informatiker. B.G. Teubner, Stuttgart, 2005.

ISBN: 978-3-519-00518-6

Stundenplan laut Univis

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

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