本书是创新方法工作专项项目“科学思维、科学方法在高等学校教学创新中的应用与实践——KM教学法的研究与实践”...
2012.8
本书依据ACM和IEEE-CS发布的CC2005教程，以及教育部高等学校计算机科学与技术教学指导委员会制订的计算机科...
2012.
本书包括离散数学课程的标准内容：数理逻辑中的命题逻辑、一阶谓词逻辑，集合论等。
2012.4
本书分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论等六个部分。全书既有严谨的、系统的理论阐...
2012.11
本书系统介绍了数理逻辑、集合论、图论和代数结构等核心内容，全书分绪论、命题逻辑、谓词逻辑、集合与计数...
2012.7
本教材根据普通高等学校离散数学课程大纲编写。在教材编写中，以案例为主，尽量多的选择了一些较好的体现应...
2012.7
本书认真分析、总结、吸收了部分高校离散数学课程教学改革经验，以教育部高等教育教学课程的基本要求与课程...
2012.6
本书包括数理逻辑（命题逻辑、谓词逻辑、数学归纳法）；集合论（关系、函数、算法）；代数系统（群论、格与...
2012.6
本书整体上包括数理逻辑、集合论、代数结构、图论等四方面的内容，具体包括命题逻辑、谓词逻辑、集合论、二...
2012.7
本书是高等学校“十二五”规划教材·计算机软件工程系列，共分十二章：第一章介绍了集合及其运算；第二章和第...
2012.3