Logik公司

[29.09.2014]

Klausureinsicht是蒙塔格，06岁。Oktober，09.30-10.30 Uhr，im Raum o 27/531。

[23.09.2014]

Die Logikprüfung上午26点找到。9月10-11 Uhr，im H1统计。

Aussagenlogik公司

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

普雷·迪卡坦洛基

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

• Uwe Schöning公司：Logik für信息员, 5. 奥弗莱格。Spektrum Verlag，2000年。
• 脚本
• 福利安：Aussagenlogik公司
•            普雷·迪卡坦洛基

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