- 热门电子书排行
- 标签列表
-
-
-
面向计算机科学的数理逻辑系统建模与推理: 系统建模与推理 电子书下载
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词 ...
02-22 [ None ]
-
-
-
-
-
-
-
-
数学建模 电子书下载
数学建模是用数学方法解决各种实际问题的桥梁。本书分离散建模（第1～9章）和连续建模（第10～13章）两部分介绍了整个建模过程的原理，通过本书的学习，学生将**会在创造性模型和经验模型的构建、模型分析以及模型研究方面进行实践，增强解决问题的能力。 ·论证了离 ...
02-22 [ None ]
-
-
-
-
-
-
-
-