推荐下载
-
形式逻辑与数理逻辑比较研究
该书详细地介绍了形式逻辑与数理逻辑的定义、表现形式和应用,并比较了两者的相同与不同。
25 2020-08-19 -
数理逻辑复习试题
数理逻辑试题，供复习参考。
35 2019-01-20 -
高等数理逻辑2018
高等数理逻辑课件，2018复习资料，utf8面向计算机的数理逻辑电子版
25 2019-02-16 -
数理逻辑书籍
感觉现在的人都太急功近利。身边很多朋友都不重视计算机科学的基础理论以及数学基础，大家常常只喜欢学习语言，认为能更快的转化成Money。不过，我觉得想要深入理解计算机科学还是需要扎实的理论基础的。如果不
18 2019-03-16 -
数理逻辑经典书籍
handbookofmodallogic；Introductiontologicforcomputerscience；logicanddiscretemathmaticsforcomputerscie
32 2019-05-21 -
数理逻辑Model Checking
MathLogic Model Checking
26 2019-06-25 -
数理逻辑PPT讲义
一个很好的数理逻辑课堂讲义，天津大学研究生课上PPT
32 2019-05-28 -
高级数理逻辑
高级数理逻辑课件，有关公式公理什么的~学计算机的同学可能用到，研究生阶段的课程
19 2019-07-25 -
数理逻辑讲义附件.
数理逻辑讲义附件
12 2020-07-19 -
上海交通大学软件学院c++课件
Shanghai Jiaotong University School of Software c++ courseware
28 2019-06-25
用户评论