Logik公司

模具克劳修里希特findet上午Mittwoch，2012年9月26日，im Raum O27/531 von 10.00 bis 10.30 Uhr统计。

在LSF eingetragen中记录。

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年。
• 脚本

http://rubikon2.informatik.uni-ulm.de

Aussagenlogik公司

普雷·迪卡坦洛基