描述

本课程讨论了一阶逻辑的自动定理证明（包括等式）、解析和参数化，以及自动定理证明器在一阶逻辑中的应用。

时间表

周	日期	幻灯片	解决	评论
1	19.05	pdf格式	pdf格式
2	26.05	pdf格式	pdf格式
三	2.06	pdf格式	pdf格式	3.千兆赫
4	9.06	pdf格式	pdf格式	4毫升
5	16.06	pdf格式	pdf格式	5.tgz（千兆赫）
6	23.06	pdf格式		最后一堂课的作业是（虚拟的）考试