离散数学导论(第二版)

本书是1982年问世的《离散数学导论》的修订版，本版删除了第一版中的“有限自动机理论”和“图灵机器”两章，并对原来的章节次序进行了重新编排，使修订后的第二版更紧扣教学大纲要求。它的主要内容有：集合论初步、关系与映射、无限集、代数系统、图论、数理逻辑。本书可作为高等院校计算机有关专业“离散数学”课程的教材或参考书，也可供从事计算机工作的科研人员、工程技术人员以及其他有关人员参考。 　　本书是由北京大学王攻本教授和阎淑达副教授审阅的。

    主要内容有：集合论初步，关系与映射，无限集、代数系统、图论、数理逻辑。

原版序
再版前言.
第一章 绪言
第二章 集合论初步
§1 集合沦基础
§2 幂集、n重有序组及笛卡尔乘积
第三章 关系与映射
§1 关系的基本概念
§2 关系的运算
§3 关系的某些性质
§4 关系上的闭包运算
§5 次序关系
§6 相容关系
§7 等价关系
§8 映射
第四章 无限集
§1 无限集的性质
§2 集合的基数..
第五章 代数系统

《离散数学导论》一书出版发行已有七年，在这七年中得到了广大读者的支持，同时他们还对本书提出了很多宝贵的意见．作者在多次讲授中也积累了不少经验，在此基础上对原书作了修订，其主要修改之处有：. 1．对原有章节内容作了重大调整．根据《离散数学教学大纲》重点讲授该．大纲所确定的四个基本内容，即集合论，代数系统，图论与数理逻辑．并且重点突出了数理逻辑与代数系统，删除了有限自动机与图灵机器两章； 2．对章节划分与次序作了调整，它们依次是：集合论初步、关系与映射，无限集，代数系统，图论与数理逻辑等； 3．重点修改与增加了数理逻辑内容，使之适应目前的需要； 4．增加了代数系统中的内容；.. 5．..

《离散数学导论》一书是作者近年来在南京大学计算机科学系讲授此课程的讲义的基础上整理而成的．它可以作为理工科院校计算机有关专业学生的教材，也可作为从事计算机工作的有关人员的参考书．. 本书内容比较广泛 它不仅包括目前一般离散数学的基本内容，如：集合论、图论、关系与映射，代数系统及数理逻辑等，它还包括目前应用得比较广泛的一些内容，如有限自动机理论、图灵机器等． 作者力图将离散数学中的各部分内容有机的联系起来，同时也尽量地将各部分内容的特色表达清楚．.. 由于离散数学是一门数学，因此作者力求叙述严格，证明与推导逻辑性强，思路清楚，使学生通过此课程学习后能得到严格的逻辑..