推荐下载
-
数理逻辑的研究对象及科学意义
学习过数理逻辑课程之后要求我们能简述数理逻辑的研究对象及科学意义
9 2020-08-19 -
第1章数理逻辑命题逻辑2019.pdf
离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生
28 2020-04-22 -
数理逻辑课件虽然抽象但是讲的很好
很好的数理逻辑课件！让数理逻辑不再抽象，好好看看肯定没问题
13 2020-05-13 -
数理逻辑国防科大王兵山主编
本书是国防科大王兵山主编的一本1993年版本的数理逻辑，如果有考博需要可以下载哦！
131 2020-05-15 -
可计算性与数理逻辑中文版
数理逻辑经典教材，有兴趣的同学可以看一下，这里的版本是中文版的。
121 2020-05-15 -
AG汉密顿数理逻辑英文版
AG汉密顿数理逻辑英文版教材，非常好用，中文版里有太多纰漏，用英文版学习非常方便。
15 2020-05-17 -
数理逻辑第三版英文答案
数字设计原理与实践第三版答案1.2Threedefinitionsof“bit”:(1)Abinarydigit(p.1).(2)Pasttenseof“bite”(p.1).(3)Asmal
27 2020-06-11 -
数理逻辑中的联结词蕴涵式
在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分
20 2019-02-18 -
哈工大计算机数理逻辑讲义
哈工大数理逻辑讲义，页数很少，也就是比较简练，希望有人需要它；
35 2019-02-25 -
高级数理逻辑第四章
高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词
23 2018-12-20
用户评论