[12.10.2015] 
Die zweite Logikprüfung findet am Dienstag，书号13。Oktober von 16-17 Uhr im H20统计。Dee Einsicht wird am Montag，den 19。Oktober von 12:30-13:00 Uhr，位于Raum 531/o27 stattfinden。

[07.08.2015]
Klausureinsicht位于Donnerstag，den 13。八月十一日上午十点半至十一点。

[03.08.2015] 
Die Logikprüfung于04日找到。8月14日至15日Uhr im H22统计。

Aussagenlogik公司

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

普雷·迪卡坦洛基

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

布拉特1

布拉特2

布拉特3

布拉特4

布拉特5

布拉特6

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

在过去的Vorlesung vorgestellt中，Der Ablauf Der u bungen wird。Die Anmeldung zu den Tutorien wird anschließendüber卢比康莫格利希·塞因。