详细介绍数理逻辑引论与归结原理，主要是数理逻辑方面。
数理逻辑中离散有关内容~包括基本的真假概念，及与或非操作等
西交大的课件。不错 很好的 课件哦 有时间看看啊看看阿奎
高级数理逻辑课件下载，包含7章内容和绪论，含丰富的例题
该书以可读性强而著称， 在美国大学中采用率很高， 是数理逻辑方面的经典教材之一
这是王老师编写的数理逻辑，适合计算机专业人员学习，市面上已经缺货，学习数理逻辑的读者可以参考。
离散数学数理逻辑部分，主要功能是合式公式的判断、主析取范式、主合取范式的求值，真值表，等价性等等
国科大高级人工智能，数理逻辑，形式推演。台湾大学于天立教授“人工智慧”课程
北京大学数理逻辑，讲述了数理逻辑的相关内容，希望对你的学习有帮助。
这是中国科学院大学（简称：国科大）数理逻辑与程序理论课程的平时作业与答案
用户评论