Mathematische Grundlagen der CL & KI

Hallo! Hier gibt es das Skript (auch als dvi oder pdf). Das Skript habe ich in den ersten Teilen überarbeitet, so daß sich einige Kleinigkeiten geändert haben.

Ich werde euch ab jetzt an dieser Stelle über die Änderungen am Skript informieren.

12. Mai

Der Begriff des Beweises wurde beim Kalkül der Aussagenlogik auf den syntaktisch logischen Beweis geändert.

16. Juni

Die Abschnitte 8 bis 10 und den Anfang von 11 hinzugefügt.

Hier sind die Übungsblätter.

Blatt 1 [ps] [dvi]	Musterlösung [ps] [dvi]
Blatt 2 [ps] [dvi]	Musterlösung [ps] [dvi]
Blatt 3 [ps] [dvi]	Musterlösung [ps] [dvi]
Blatt 4 [ps] [dvi]	Musterlösung [ps] [dvi]
Blatt 5 [ps] [dvi]	Musterlösung [ps] [dvi]
Blatt 6 [ps] [dvi]	Musterlösung [ps] [dvi]
Blatt 7 [ps] [dvi]	Musterlösung [ps] [dvi]
Blatt 8 [ps] [dvi]
Blatt 9 [ps] [dvi]