Discrete mathematics

　　自然界广泛地存在着离散事物，离散数学就是用适当的数学工具来描述和研究离散对象以及离散对象(discrete objects)之间各种相互关系的数学分支。尤其在计算机科学迅速发展的今天，离散数学的研究就更重要了。离散数学的内容很广，如集合论、组合论、图论、群论、数理逻辑等，由于概率论，算法论等也研究离散对象，有人把它们也归纳到离散数学之中。通常，概率论，算法分析已单独列为一门课，此教材中就不包括这些内容了。作为一门计算机专业的基础课，我们着重介绍集合论(集合，自然数集，二元关系)，组合论(离散函数，计数与生成)，图论(图，树)，群论(群，环，域)以及数理逻辑(命题逻辑，谓词逻辑)中较基本的及与计算机科学有较密切联系的内容。 　　 本教材是按本人上课用的讲稿写的。最早参考的是金廷赞老师的离散数学讲义，素材主要取自liu，chung laung在美国e11inois大学计算机科学系任教时的讲义基础上写的课本：“elements of discete mathematics”，同时参考了j．p．trembley和r．manohar著的“离散数学结构及其在计算机科学中的应用”，以及leon s．levy著的“discr-ete structures of computer science”，还有bobrow和arbib著的“discrete mathematics”等书。后来，又参考左孝凌、张一立、周以铨、洪帆等老师在国内出版的离散数学教材，补充了内容，增加了例子，添上了数理逻辑一章，并在每章后附上了习题。经过1993年、1996年、1997年三次胶印，每次都作了修改和补充，张三元老师参加了修改工作。 　　 为了引导学生开阔思路，尽量把自己学习的体会贯穿在教材中。例如：把看上去似乎很简单的概念进行深入一些的讲解；增加一些例子以增强感性认识；指出某些常见的错误；加强前后知识之间的联系等。教材自始至终保持数学的严格性，对于如何证明命题的成立，每一章都有一些示范。编入了不少结合计算机应用的启蒙算法，为学生学以致用搭起了桥梁。编此书的愿望是使学生能学到离散数学的思想方法与处理问题的技巧，且希望达到深入浅出，更便于自学的目的。 　　 按讲稿写数学教材是一种尝试，教学效果怎样有待试验，各种缺点在所难免，欢迎大家批评指正。