周经野，刘任任编著2007 年出版343 页ISBN：9787811280067
本书系统介绍计算机科学的基础理论，内容共分为四个部分（共19章）：第一部分形式语言及自动机理论，第二部分可计算理论，第三部分逻辑学，第四部分程序设计理论。该书可作为研究生的选修教材和一级学科硕士研究生的......
特伦布莱（Tremblay，J.P.），马诺哈（Manohar，R.）同著；罗远诠译1982 年出版436 页ISBN：13119·966
译自:Discretemathematioalstruotureswithapplicationstocomputerscince:本书是离散数学方面的一本引论性入门书
高等学校计算机基础教育教材精选 大学计算机基础 计算机科学的基本思维
高伟，郭江鸿主编；丛晓红，董宇欣副主编2015 年出版179 页ISBN：9787302410393
本书分为4章。第1章计算机工作原理及组成，回答计算机是什么，是如何组成及如何工作的。第2章计算机中的信息表示，回答计算机怎么表示信息，完成信息到数据的转换。第3章数据的组织与管理，回答怎么计算与如何应用，.....
（美）Eric Lehman，（美）F.Thomson Leighton，（美）Albert R.Meyer著2019 年出版808 页ISBN：9787121355332
本书讲述了面向计算机科学与工程的数学理论知识。强调如何在计算机科学中实现数学定义、证明及其应用方法。全书共分五篇，其中第一篇由证明到数据类型，讲述了数学分析的基本概念和知识；第二篇介绍数论、网络和...
Cliff L Stein，Robert Drysdale，Kenneth Bogart著2017 年出版508 页ISBN：9787111580973
本书专为计算机科学专业的学生而设计，不仅提供学生必需的离散数学知识，而且能够启发后续专业课程的学习兴趣。本书主要内容涵盖计数、密码学与数论、逻辑与证明、归纳法、递归、概率以及图论，推导严谨、代码清...
