离散数学是计算机科学重要的基础理论之一，它也是培养学生缜密思维，提高学生素质的核心课程。在离散数学的教学中，解题方法起着特殊重要的作用，可以培养学生综合分析和理论联系实际的能力。在离散数学的解题方法中，除了应用演绎法，分析法，枚举法，归纳法等常用的方法以外，还往往应用反证法，归谬法，对应法和构造法等一些现代数学的方法。

1955年，在一次科学会议上，一位普林斯顿数学家的演讲像投下了一枚炸弹，引起了极大轰动。他已成功证明了一个使人类迷惑了350年之久的著名数学猜想——费马大定理。这个证明一共写了200页，是他面壁7年的结果。《费马大定理:解开一个古代数学难题的秘密》讲述的是隐藏在这次伟大科学胜利背后的人物、历史和文化的故事。

1955年，在一次科学会议上，一位普林斯顿数学家的演讲像投下了一枚炸弹，引起了极大轰动。他已成功证明了一个使成千上万人迷惑达350年之久的著名数学猜想一一费马大定理。这个证明一共写1200页，是他面壁7年的结果。本书《费马大定理：解开一个古代数学难题的秘密》讲述的就是隐藏在这次伟大科学胜利背后的人物、历史和文化的故事。

本书是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑，集合论，代数结构和图论四个专题。第五篇为应用部分，主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。 本书可作为理工科院校计算机专业的离散数学教材，也可作为自动控制、电子工