形式化验证模型检测和数理逻辑经典书籍系列(2)
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：ComputabilityandLogic5thEdition；BasicPapersonUndecidablePropositions,UnsolvableProblemsandComputableFunctions；HandbookofPhilosophicalLogicVolume4；Afirstcourseinlogic；计算理论简明纲要(v1.1)
推荐下载
-
北邮高级数理逻辑全套资料
北邮全套的研究生高级数理逻辑资料哦，还有个人整理的部分试卷答案，资源丰富。
21 2020-03-27 -
数理逻辑与机器证明陆钟万
本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！
28 2019-01-12 -
数理逻辑AG汉密尔顿中英文
数理逻辑 A.G.汉密尔顿的中英文版
53 2019-01-20 -
计算机基础4图论数理逻辑
计算机编程必备的数学基础知识！图论 数理逻辑
34 2019-01-22 -
数理逻辑_合取析取范式源代码
数理逻辑中，程序实现合取析取范式的源代码
41 2019-03-05 -
离散数理逻辑练习题与答案
离散数理逻辑练习题与答案，很全的哦，一共有两套~
31 2018-12-20 -
计算机科学中的数理逻辑
是计算机软件与理论方向的一本经典教材，书中对计算机科学中所涉及的数理逻辑知识有详细和深入的介绍。
37 2018-12-25 -
离散数学一数理逻辑
北京大学离散数学教材 数理逻辑部分 王捍贫
37 2018-12-25 -
数理逻辑习题答案第二版
数理逻辑部分习题答案：内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
59 2019-05-15 -
哈工大任世军数理逻辑课件
哈工大任世军老师的课件写得非常好，里面对于PC、ND的部分写得尤其详细~
166 2019-07-13
用户评论