（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533
本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。
闫林，闫硕著2019 年出版270 页ISBN：9787030612595
粒计算的方法理念是本书各章节贯穿的主线。第1章的讨论针对粒计算涉及的概念，强调了粒的核心地位，设定了粒的形式化框架，该框架使给出的几种粒的定义得到了统一。在第1章的基础上，第2-7章分别利用粒中的数据信...
王岚，乐毓俊编著2005 年出版311 页ISBN：7563509216
本书主要介绍计算机自动推理的理论基础数理逻辑及以此理论为基础的人工智能语言PROLOG语言，并在此基础上介绍了计算机自动推理理论在教育中应用（即智能教学ICAI）的基本原理、结构及其方法。它是作者多年在教学...
数据科学与工程技术丛书 数据科学R语言实践 面向计算推理与问题求解的案例研究法
（美）德博拉·诺兰著；于戈译2017 年出版431 页ISBN：9787111571117
本书带领读者身临其境地体验数据科学领域的日常工作，书中的12章即为12个鲜活的实践案例，包括航班延误数据分析、股票配对交易仿真以及二十一点纸牌游戏策略开发等，涵盖统计学、数据库、机器学习和可视化技术等...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
