本教材是参照ACM和IEEE最新推出的Computing Curricula 2005，根据教育部高等学校计算机科学与技术教学指导委员会最新编制的“高等学校计算机科学与技术专业规范”中制定的关于离散数学的知识结构和体系撰写的.全书共14章，内容包含证明技巧、数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等.本书体系严谨，选材精炼，讲解翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学.另外，本书有配套的习题解答与学习指导等教学辅导用书，以满足教学需要. 本书适合作为高等学校计算机及相关专业本科生“离散数学”课程的教材，也可以作为对离散数学感兴趣的人员的入门参考书. 本书封面贴有清华大学出版社防伪标签，无标签者不得销售。

FOREWORD作为清华大学出版社和中国计算机学会共同规划的“21世纪大学本科计算机专业系列教材”之一，这本《离散数学》已经出版两年多了.在这两年多的时间里，教育部高等学校计算机科学与技术教学指导委员会编制了“高等学校计算机科学与技术专业规范”，教育部更推出了一系列为提高本科生教育质量的重要举措，特别是2007年1月和2月分别发布的《教育部、财政部关于实施高等学校本科教学质量与教学改革工程的意见》（教高\1号）和《教育部关于进一步深化本科教学改革.全面提高教学质量的若干意见》（教高\2号），对专业设置、教学模式、课程建设、师资队伍等各个方面不但提出了更高的建设目标，也为保证这一工程的顺利执行提供了有力的保证. 好的教师和好的教材是保证教学质量的前提条件.本着对读者负责的精神，我们在这次修订工作中认真地审阅了原书，根据教学要求对其中的部分内容做了调整，更正了某些错误和疏漏之处，并对文字做了进一步的精细加工. 本版在内容上主要做了如下改动： 去掉了数理逻辑中有关“一阶逻辑推理理论”的内容.主要原因是这部分内容涉及形式系统.形式系统在系统定义和推理中应该采用完全形式化的方法，通常包含形式语言以及用形式语言表述的公理和推理规则.在形式系统中，符号串本身是没有语义的，只能通过解释赋予它们一定的语义，但在讨论系统的公理或推理规则时应该与语义无关.本书在第1版的叙述中没有完全采用这种形式化的方法.如果从知识体系的严谨性出发，应该采用这种完全形式化的表述方法.但是，这不但与本书的整体写作风格不够协调，而且内容也偏深，超出本教材的要求，因此本次修订决定删掉这部分内容. 为了进一步提高本书的...