【2016年10月26日】Die Klausureinsicht findet am Mittwoch，2016年11月2日，Raum O27/531 von 10 bis 10:30 Uhr statt。

[2016.10月26日]Die Ergebnisse der zweiten Klausur wurden im LSF eingetragen。

Aussagenlogik公司

• 语法und Semantik
• Normalformen公司
• 决议，Vollständigkeits-und Korrektheitsbeeise

普雷·迪卡坦洛基

• 语法und Semantik
• Normalformen公司
• 决议，Vollständigkeits-und Korrektheitsbeeise

Vorlesungsmitschrieb公司

布拉特1

布拉特2

布拉特3

布拉特4

布拉特5

布拉特6

• Uwe Schöning公司：Logik für信息员,5.奥弗拉格Spektrum Verlag，2000年。
• 脚本

在过去的Vorlesung vorgestellt中，Der Ablauf Der u bungen wird。