讲师

		房间	咨询时间
VU（电压单位）	塞萨里·卡利西克	2012年3月	星期三	11:15 – 12:45

时间和地点

VU（电压单位）		星期二	09:15 – 12:00	无房间（虚拟教学）
		星期四	13:15 – 16:00	无房间（虚拟教学）

本课程是自动推理选修模块的一部分计算机科学硕士课程。这里面的另一道菜模块是计算逻辑.本学期上半学期将教授计算逻辑，自动化下半部分定理证明。

分级

本课程将通过作业进行评估，还有期末考试，所有这些都对期末成绩贡献均等。