Logik

Wintersemester 2012/2013

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 , Anmeldezeitraum abgelaufen.

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: Eine Möglichkeit zur Klausureinsicht besteht am Freitag, dem 12. April 2013, von 12 bis 14 Uhr im Raum G29-018.

Folien: Teil 1, Teil 2, Teil 3, Teil 4, Teil 5

Übungsblätter:

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

Literatur:

J. Dassow: Logik für Informatiker. B.G. Teubner, Stuttgart, 2005. ISBN: 978-3-519-00518-6

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

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