Logik公司

模具洞见命令茨威特克劳苏尔在Freitag den 27.10找到。von 15:00 Uhr bis 16:00 Uhr，Raum O27/531统计。

模具茨威特克劳瑟findet上午丁斯塔格，2017年10月17日嗯14:00 Uhr标准时间。在Räumen H21和H13状态中。Die Raumzuordnung lautet wie folgt公司：

• 姓氏开始麻省理工学院A-J：H21
• 姓氏开始麻省理工学院K-Z公司：H13

德尔Bearbeitungszeitraum公司für die Klausur beträgt50分钟，als Hilfsmittel ist ein公司手指甲DIN-A4布拉特·祖格拉森。

模具洞见命令Erstklausur公司在Donnerstag街17.8号找到。von 14:00 Uhr至15:00 Uhr，Raum O27/531统计。

模具Erstklausur公司发现蒙塔格，2017年7月24日嗯14:00单位科学技术。伊姆·劳姆H22（H22）统计。

Aussagenlogik公司

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

普雷·迪卡坦洛基

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

格兰德拉根·冯·PROLOG

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

穆德勒（Die u bungen werdenüber Moodle）组织者。