黄立明主编2011 年出版216 页ISBN:9787560277523
本书由四篇组成。第一篇数理逻辑,内容有:命题逻辑,一阶逻辑。第二篇集合论,内容有:集合的基本概念和运算,关系和函数。第三篇代数系统,内容有:代数系统概述,几种典型的代数系统。第四篇图论,内容有:图的基......
徐洁磐主编2011 年出版282 页ISBN:9787040315028
本书由五部分内容组成,分别是集合论、代数系统、图论、数理逻辑、离散建模,并以离散建模为其特色。本书取材精炼、内容重点突出,编写简明易懂,篇幅短小,非常适合于应用型计算机本科或在50—70学时的学校使用。...
赵广利主编;黄健等编2003 年出版346 页ISBN:7561124171
本书针对作为计算机科学基础理论核心课程的离散数学,从数理逻辑、集合论、代数系统、图论四个方面、结合例题、练习进行全面讲解。
于筑国编著2011 年出版316 页ISBN:9787118076240
本书主要介绍离散数学的基础知识,全书分七章,包括命题逻辑、一阶谓词逻辑、集合与二元关系、函数、代数系统、格代数、图论等,并含有相关的例题与习题。...
古天龙,常亮编著2012 年出版362 页ISBN:9787302288206
本书依据ACM和IEEE-CS发布的CC2005教程,以及教育部高等学校计算机科学与技术教学指导委员会制订的计算机科学与技术专业规范着力使内容和知识体系的设计达到理论与实际结合、抽象与直观统一、局部与整体协调...
孙道德,王敏生编著2010 年出版307 页ISBN:9787312026034
离散数学是现代数学的一个重要分支,是计算机科学中基础理论的核心课程。为适应计算机科学教学的需要,由阜阳师范学院等多所高等院校联合编写了这本计算机本科专业适用的教材。主要内容有:数理逻辑、集合与关系...
黄振杰编著2000 年出版259 页ISBN:756151641X
本书作为数学专业学生编写的离散数学教材,其主要内容包括:集合论基础、组合数学基础、图论初步、数理逻辑基础和代数结构等五大部分。本书突出离散数学的经典内容,简要说明了离散数学的发展动态,对基本理论有严...
刘红美编著2009 年出版242 页ISBN:9787562239918
本书是用英语编写的一本《离散数学》。其基本内容为命题逻辑、谓词逻辑、集合理论、关系、图论、树和布尔代数。书中配有部分常用专业词汇的中文解释,以方便学生查阅。...
曹迎槐,尹健,韩加坤主编;路士兵,唐丽晴,龙全贞副主编2015 年出版334 页ISBN:9787118100280
本书共12章,内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨,文字精练,内容翔实,例题丰富,注重与计算机科学技术的实际问题相结合,并选配了大.....