离散数学 第一分册：数理逻辑

课后答案 离散数学课后答案(清华版).课本的习题答案离散数学

该书详细地介绍了形式逻辑与数理逻辑的定义、表现形式和应用,并比较了两者的相同与不同。

中科院 陆钟万老师的 面向计算机科学的数理逻辑

这是数理逻辑习题及答案，都是一些经典的，不太难的题目。

详细介绍数理逻辑引论与归结原理，主要是数理逻辑方面。

西交大的课件。不错 很好的 课件哦 有时间看看啊看看阿奎

高级数理逻辑课件下载，包含7章内容和绪论，含丰富的例题

该书以可读性强而著称， 在美国大学中采用率很高， 是数理逻辑方面的经典教材之一

这是王老师编写的数理逻辑，适合计算机专业人员学习，市面上已经缺货，学习数理逻辑的读者可以参考。

国科大高级人工智能，数理逻辑，形式推演。台湾大学于天立教授“人工智慧”课程