本书全面介绍了计算机专业必备的离散数学基础知识，全书共分10章，内容包括数理逻辑，集合，关系，函数，无限集和基数，代数系统概论，群、环和域，格与布尔代数，图论，模型论浅述。 本书按照认识论的规律介绍知识，用方法论指导定理证明与推导。因此，本书的介绍深入浅出，特别适合于作为高等院校理工科各专业本科生的教材，也适合于相关领域的科技工作者参考使用。

笔者在“计算机科学”领域从事过硬件、软件和理论等方面的研究与教育工作，研究领域经历了从硬件到软件、从软件到计算机理论科学的转变，对计算机科学领域的知识有着较为深刻的理解。本书是笔者从教20余年的经验总结，它既是经验的积累，也是心得体会的记录。本书在命题叙述、定理证明、结论推导等诸多方面都特别适合于工科学校学生阅读，也适合于科技工作者阅读。 本书按照认识论的规律来介绍知识，用方法论指导定理证明与推导。因此，本书的介绍深入浅出，特别适合于高等院校理工科各专业的学生。通过对本书的学习，读者不但能从本书得到这一领域的基础理论知识，而且本书能指导理论研究与工程技术人员如何思考问题、分析问题，如何组织理论系统和利用理论系统进行理论推理和问题求解。本书所涉及的课程是计算机专业的必修课，对广大科技工作者也是一本非常有价值的参考书。 按照本教程各章知识之间的相互联系，建议授课次序如下： 授课可按照“章”的顺序进行，并根据需要作适当的调整。其中，第1~7章是本课程必须讲授的内容，第1~4章是基础知识（数理逻辑和集合论），第6、7章介绍代数系统的知识，这都是讲授的重点内容，至于其余各章可根据需要适当讲授。一般来讲，通过前面7章的学习，学生的知识水平和自学能力必将有很大的提高，这时可根据课文的难易，学生的接受能力与自学能力，设置第5、8~10这4章中的某几章由学生自学。例如，第9、10章由学生自学，或第5章由学生自学，或第8章由学生自学。 现在把各章内容的讲授要点介绍如下。 离散数学教程前言 “数理逻辑”、“集合”、“关系”和“函数”，这4章是数学和一切科学的基础，因此要放...