第二版前言

《离散数学》作为“21世纪计算机专业大专系列教材”于2001年7月由清华大学出版社出版。该教材出版后，受到众多高等院校的关注，成为这些高等院校计算机专业专修科教学的首选教材。对此，清华大学出版社和作者深表谢意。

《离散数学》出版已有5年。5年来，我国高等教育事业发展迅速，特别是在办学规模方面，已完成由精英型转化为大众型的历史进程。为了适应新形势的需求，清华大学出版社与作者商定，出版《离散数学》第二版。《离散数学》第二版本着“淡化理论，加强应用”的修订原则，使教材更加通俗易懂，在教和学的两个方面更贴近大专生的实际水平，更符合大专生的培养目标。

在《离散数学》第二版中，主要修订的内容是： 改写了第5章图论的大部分内容和第7章谓词逻辑的全部内容。在第二版中，进一步删去了一些定理的证明，而用一些说理性的叙述和例子来替代，使抽象的理论转化成形象思维，易于接受并能加深对基本概念的理解。

在《离散数学》第二版中，习题也有相应的变动，第5章图论和第7章谓词逻辑的习题全部更新。为此，将同时出版与其配套的辅导教材《离散数学习题与解答》的第二版，它将给出《离散数学》第二版中全部习题的解答。

《离散数学》第二版的修订和编写工作是由北京工业大学计算机学院邵学才、蒋强荣、邓米克和北京语言大学石嘉明共同承担的。在修订和编写过程中，得到亲友朱道奎、张秀云、邵佩珍、孙方策、邵学正和程玉环的悉心帮助，作者深表谢意。作者还要感谢上海大学叶秀明教授，他的指导和建议使作者受益匪浅。

邵学才

2006年10月