前言（第二版）

FOREWORD

离散数学是计算机及其相关专业的重要专业基础课，学好离散数学对于计算机专业课程的学习起着事半功倍的作用。

离散数学通过讲授离散数学中的基本概念、基本定理和运算技巧及其在计算机科学中的应用，来培养学生的数学抽象能力、用数学语言描述问题的能力、逻辑思维能力以及数学论证能力。但许多概念、定理等内容需要通过做习题来得到掌握和理解。本书是“十二五”普通高等教育本科国家级规划教材。本书以主教材《离散数学（第二版）》（刘任任、王婷、周经野主编，中国铁道出版社出版，2015年）为主要依据，对书中集合论与数理逻辑、图论与组合数学、代数结构与初等数论、形式语言与自动机理论基础等方面的习题进行了较详细的分析与解答，以帮助读者加深对书中的基本概念、基本定理以及运算规律的理解。

全书共分四篇：第一篇（1～6章）是集合论与数理逻辑，第二篇（7～18章）是图论与组合数学，第三篇（19～22章）是代数结构与初等数论，第四篇（23、24章）是形式语言与自动机理论基础。

学好离散数学，一方面要深刻理解其有关概念、掌握重要结论，另一方面要多做练习以加深对离散数学内容的理解。这对于在计算机其他专业课程的学习中熟练运用离散数学的理论知识是至关重要的。

本书对主教材中每章的习题进行了较详细的解答，希望读者在做完习题后参考，相信能起到举一反三、加深对主教材相应内容的理解的作用。其中，解答过程中所引用的定理和定义均为主教材中相应编号，不再一一注明。

本书由刘任任担任主编，刘玉珍、肖芬、孟国艳担任副主编，周经野、谢慧萍参与编写。曹春红、邹娟等对本书的编写提出了许多宝贵意见和建议，在此一并表示感谢。由于编者水平所限，书中的疏漏和不足之处在所难免。欢迎读者提出宝贵意见。

特此致谢！

编者

2015年7月