21世纪大学本科计算机专业系列教材根据教育部高教司主持评审的《中国计算机科学与技术学科教程2002》组织编写
本书内容包括集合论、数理逻辑和图论4部分,共8章,注重理论联系实际与解题的思路和方法.
本书是《离散数学》的配套教材。习题内容涵盖了数理逻辑、集合论、图论、组合数学、数论、离散概率、代数结构等.
本书介绍离散数学最核心的部分:集合论,组合数学与图论,代数结构与泛代数,标准(古典)与非标准(非古典)数理逻辑。书中从理论与应用方面深入浅出地阐述各分支中的基本概念,基本理论与基本方法。
本书分为数理逻辑、集合论、代数结构和图论4个部分。其中数理逻辑部分描述一个符号化体系,这个体系可以描述集合论中的所有概念;集合论中有3个小模块,即集合、关系、函数,关系是集合中笛卡儿乘积的子集,函数是关系的子集;代数系统是定义函数的运算;图论是一类特殊的代数系统。本书适合作为高等院校软件工程专业和计算机专业离散数学课程的本科生教材,也可作为软件工程与计算机等相关专业的自学参考书。
Nei rong : 1. ji he lun ji shu ; 2. shu li luo ji ji chu ; 3. dai shu xi tong ; 4. tu lun fang fa ji...
本书针对离散数学课程中的关键问题,通过大量实例深入浅出地介绍数理逻辑,集合论,图论,代数结构和布尔代数,网络模型,组合数学理论和算法等与计算机科学密切相关的主题,既注重各部分内容之间的紧密联系,又深入探讨各部分内容的概念,理论,算法和实际应用.
计算机类教材书目(2005.9)
离散数学
本书内容分基本教材和应用两个部分。基本教材包括数理逻辑、集合论、代数结构与布尔代数、图论等四方面内容;应用部分主要介绍形式语言和自动机以及纠错码初步。