本书是北京高等教育精品教材。内容主要包括数理逻辑、集合论、图论、组合分析初步、代数结构及形式语言和自动机初步6方面的内容。书中概念论述清楚,内容丰富,通俗易懂,并且着重于概念的应用,而不着重于定理的证明。每章后均附有习题,建议学时为54~72。 本书可以作为计算机及信息管理等相关专业本科生的教材,也可以供从事计算机软件、硬件开发和应用的人员使用。另有配套教材《离散数学题解(第六版)》。
本书是《离散数学(第六版)》(耿素云、屈婉玲、张立昂编著,清华大学出版社出版)一书的配套题解。全书包括数理逻辑、集合论、图论、组合分析初步、代数结构以及形式语言与自动机初步6部分。每部分均包含内容提要、与本部分配套的习题、习题解答3方面内容.对每道题都做了较详细的解答与分析,对某些题还给出了不同的解法或指出容易犯的错误及犯错误的原因。本书可作为与《离散数学(第六版)》配套的辅助教材,也可作为其他离散数学教材的参考书。
《离散数学(第4版)》参照美国ACM和IEEE CS最新推出的Computing Curricula,根据教育部高等学校计算机科学与技术教学指导委员会最新编制的“高等学校计算机科学与技术专业规范”中关于离散数学的知识结构和体系撰写. 全书共14章,内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等. 体系严谨,文字精练,内容翔实,例题丰富,注重与计算机科学技术的实际问题相结合,并选配了大量难度适当的习题,适合教学. 另外,本书有配套的习题解答与学习指导等教学辅导用书,以及用于课堂教学的PPT演示文稿和在线数字资源等,以满足教学需要. 本书适合作为高等学校计算机及相关专业本科生“离散数学”课程的教材,也可以作为对离散数学感兴趣的人员的入门参考书.
本书是根据清华大学出版社与中国计算机学会共同规划的“21世纪大学本科计算机专业系列教材”《离散数学(第4版)》(主教材)以及电子教案编写的配套教学指导用书. 全书分为14章,每章包含内容提要、习题、习题解答与分析三部分. 内容提要总结了本章的主要定义、定理、公式、重要的结果等;习题部分包含了与上述内容配套的数十道题;习题解答与分析部分不但对上述习题给出了详细的解答,而且对一些典型的解题方法做了比较深入的分析和总结. 总计超过500道题,涵盖了数理逻辑、集合论、图论、组合数字、数论、离散概率、代数结构等不同模块的基本内容和典型的解题方法. 本书既可以作为主教材的配套教学用书,也可以单独使用,为学习离散数学的读者在解题能力和技巧的训练方面提供有益的帮助.