数理逻辑(国防科大 王兵山主编)
本书是国防科大王兵山主编的一本1993年版本的数理逻辑，如果有考博需要可以下载哦！
用户评论
推荐下载
-
数理逻辑与集合论
学习辅助，。。。。。。。。。。。。。。。。。。。。。。。。。。。。《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、
51 2018-12-07 -
pdf数理逻辑发展史
一本好书,pdf格式
31 2019-01-20 -
数理逻辑经典包含多个文件
数理逻辑 经典逻辑 模态逻辑 计算机科学中常有的逻辑
18 2020-08-29 -
PDF格式的数理逻辑讲义
内容提纲： 一、命题逻辑(Propositional Logic) 二、命题演算(Propositional Calculus)
14 2020-07-17 -
数理逻辑习题解与精要
本书主要是数理逻辑方面的习题,可以用作学习数理逻辑的学习参考书
18 2020-07-19 -
现代数理逻辑学
很好的数理逻辑学习教材，计算机专业考研、考博的首选课程。
22 2019-01-10 -
哈工大数理逻辑.zip
哈尔滨工业大学李涛班的数理逻辑课后作业,有详细的步骤解法,其中部分是书后习题
15 2021-01-31 -
图像理解_国防科大王润生著
信息处理丛书图像理解-国防科大王润生著
74 2019-05-13 -
图像理解国防科大王润生著
信息处理丛书图像理解-国防科大王润生著
15 2020-05-01 -
国防科大的一个UCOS课件
国防科大的一个UCOS课件,主要介绍内核结构-任务以及调度机制,任务间通信,uC_OS的移植,在PC机上运行uC_OS等
21 2019-09-03
暂无评论