推荐下载
-
面向计算机的数理逻辑
计算机方面的书，主要是数理逻辑，在数学方面也可以参考。
17 2018-12-20 -
数理逻辑入门A Friendly Introduction to Mathematical Logic
数理逻辑入门AFriendlyIntroductiontoMathematicalLogic
109 2019-05-31 -
离散数学数理逻辑课件英文
数理逻辑导论离散数学课件英文版:
32 2019-06-21 -
哥德尔编码数理逻辑
数理逻辑中关于哥德尔编码的讲义，很实用，很有内涵
43 2018-12-09 -
数理逻辑入门The Easy Guide to Mathematical Logic
基于英文维基百科精选内容编辑而成。主要贡献包括:校对验证参考文献和注释,删除错误链接和引用;按照参考书方式重新组织内容,审阅内容的完整性和正确性,确保所有内容的质量,避免在使用维基百科时阅读低质量内容
25 2020-09-28 -
数理逻辑经典书籍值得下载
数理逻辑经典书籍,强烈推荐哦。。。。。。。。。。。。。。
15 2020-09-26 -
北京大学数理逻辑课件
北京大学数学学院和信息科学系数理逻辑课件。
14 2020-05-14 -
复旦大学数理逻辑课程课件
赵老师的数理逻辑课程所用的课件。希望对能对大家的学习有所帮助
14 2020-05-13 -
莫绍揆数理逻辑初步.pdf
莫绍揆，数理逻辑初步，数理逻辑通俗教材，数理逻辑通俗教材。
22 2019-09-25 -
哈尔滨工业大学_数理逻辑
哈尔滨工业大学计算机学院数理逻辑课程课件
36 2018-12-27
用户评论