暂无评论
本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！
数理逻辑 A.G.汉密尔顿的中英文版
计算机编程必备的数学基础知识！图论 数理逻辑
数理逻辑中，程序实现合取析取范式的源代码
离散数理逻辑练习题与答案，很全的哦，一共有两套~
是计算机软件与理论方向的一本经典教材，书中对计算机科学中所涉及的数理逻辑知识有详细和深入的介绍。
北京大学离散数学教材 数理逻辑部分 王捍贫
数理逻辑部分习题答案：内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
哈工大任世军老师的课件写得非常好，里面对于PC、ND的部分写得尤其详细~
数理逻辑一本书,比较简单
暂无评论