推荐下载
-
离散数理逻辑练习题与答案
离散数理逻辑练习题与答案，很全的哦，一共有两套~
31 2018-12-20 -
计算机与科学技术专业数字逻辑
用vhdl编写程序：将8421码转换成余三码
35 2019-05-07 -
面向对象系统建模
帮助你如何进行面向对象的系统建模，更好的开发，更有建模思想，编程人员必备
29 2019-02-24 -
莫绍揆数理逻辑教程
(莫绍揆)数理逻辑教程
10 2020-11-12 -
哈工大数理逻辑.zip
哈尔滨工业大学李涛班的数理逻辑课后作业,有详细的步骤解法,其中部分是书后习题
15 2021-01-31 -
数理逻辑A.G.汉密尔顿
介绍图灵机和哥德尔定理等和一些数学逻辑常识。这个翻译版本已经不再出版与喜好数学的亲们分享。
152 2020-05-17 -
数理逻辑通俗讲话王浩
作者系有世界声誉之逻辑学家、计算机科学家与哲学家,现任美国洛克菲勒大学教授.作者曾于1977年秋应中国科学院邀请,在该院计算技术研究所作一系列关于数理逻辑的讲演.后作者就原来讲稿补充了不少材料写成此书
9 2020-05-25 -
离散数学基础数理逻辑
离散数学组合论组合设计数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。集合论：数学的基础，对于学习程序设计、数据结构、编译原理
33 2019-09-09 -
logic in computer science数理逻辑课本
logicincomputersciencemodellingandreasoning,数理逻辑课本，作者：huth
45 2019-09-07 -
pdf数理逻辑发展史
一本好书,pdf格式
31 2019-01-20
用户评论