推荐下载
-
计算机数字仿真的系统建模技术
计算机数字仿真的系统建模技术,肖化昆 ,谢赞福 ,计算机数字仿真是计算机与数学方法紧密结合的工程化技术,它能处理生产过程控制、经济管理、以及软科学决策等许多应用领域的最优
8 2020-08-08 -
面向对象技术与系统建模
这是对于想要学习面向对象技术和系统建模的人很有用的课件，希望大家用的着。
39 2019-06-05 -
第1章数理逻辑谓词逻辑2019.pdf
离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生
23 2020-04-22 -
数理逻辑与机器证明陆钟万
本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！
28 2019-01-12 -
离散数理逻辑练习题与答案
离散数理逻辑练习题与答案，很全的哦，一共有两套~
31 2018-12-20 -
计算机与科学技术专业数字逻辑
用vhdl编写程序：将8421码转换成余三码
35 2019-05-07 -
数理逻辑.美Herbert.B.Enderton.pdf
数理逻辑.(美)Herbert.B.Enderton.pdf
30 2019-04-30 -
面向对象系统建模
帮助你如何进行面向对象的系统建模，更好的开发，更有建模思想，编程人员必备
29 2019-02-24 -
莫绍揆数理逻辑教程
(莫绍揆)数理逻辑教程
10 2020-11-12 -
哈工大数理逻辑.zip
哈尔滨工业大学李涛班的数理逻辑课后作业,有详细的步骤解法,其中部分是书后习题
15 2021-01-31
用户评论