午夜探花

[26.10.2016] Die Klausureinsicht findet am Mittwoch, den 02.11.16, in Raum O27/531 von 10 bis 10:30 Uhr statt.

[26.10.2016] Die Ergebnisse der zweiten Klausur wurden im LSF eingetragen.

Aussagenlogik

• Syntax und Semantik
• Normalformen
• Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise

笔谤盲诲颈办补迟别苍濒辞驳颈办

• Syntax und Semantik
• Normalformen
• Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise

Vorlesungsmitschrieb

Blatt 1

Blatt 2

Blatt 3

Blatt 4

Blatt 5

Blatt 6

• Uwe Sch枚ning: Logik f眉r Informatiker, . Spektrum Verlag, 2000.
• Skript

Der Ablauf der 脺产耻苍驳别苍 wird in der ersten Vorlesung vorgestellt.