离散数学
离散数学
本书包含离散数学的最基本内容,全书共分15章,配大量的习题,解答及补充题,是一本优秀的教学用书及参考书。
本书作者还有:李宝洁、孟军、孟宪福。
21世纪大学本科计算机专业系列教材根据教育部高教司主持评审的《中国计算机科学与技术学科教程2002》组织编写
本书介绍计算机专业必需的离散数学基础知识,包括离散数学四大分支的基础理论,它们是数理逻辑、集合论、代数系统和图论,共8章,依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用。本书包含较多的与计算机科学和工程有关的例题和习题。本书适合作为高等理工科院校计算机科学与技术、软件工程等相关专业教材,也可供教师、研究生、有关工程技术人员作为参考书。
本书分为数理逻辑、集合论、代数结构和图论4个部分。其中数理逻辑部分描述一个符号化体系,这个体系可以描述集合论中的所有概念;集合论中有3个小模块,即集合、关系、函数,关系是集合中笛卡儿乘积的子集,函数是关系的子集;代数系统是定义函数的运算;图论是一类特殊的代数系统。本书适合作为高等院校软件工程专业和计算机专业离散数学课程的本科生教材,也可作为软件工程与计算机等相关专业的自学参考书。
离散数学是高等院校理工科计算机专业必修的重要的专业基础课程。其基本内容由集合论(包括二元关系和函数)、代数结构、图论和数理逻辑四部分构成。本教材在叙述上简明扼要,深入浅出,通过大量的例题把抽象的理论"具体化",是一本可读性很强的教材.
包括数理逻辑、集合论、二元关系、函数、无限集合、代数、格与布尔代数、图论等.
本书介绍了“离散数学”中集合论、代数系统、图论及数理逻辑的基本内容。
本书是离散数学的入门教材,充分考虑到了初学者的需要。主要内容包括集合、关系、函数、图论、组合电路设计、有限自动机、算法、逻辑等.
本书内容分基本教材和应用两个部分。基本教材包括数理逻辑、集合论、代数结构与布尔代数、图论等四方面内容;应用部分主要介绍形式语言和自动机以及纠错码初步。
本书介绍计算机和信息类专业最需要的离散数学基础知识,内容包括数理逻辑、集合论、二元关系、函数、无限集合、代数等,并含有较多的习题和例题。
21世纪高等学校计算机科学与技术规划教材
本书针对离散数学课程中的关键问题,通过大量实例深入浅出地介绍数理逻辑,集合论,图论,代数结构和布尔代数,网络模型,组合数学理论和算法等与计算机科学密切相关的主题,既注重各部分内容之间的紧密联系,又深入探讨各部分内容的概念,理论,算法和实际应用.
离散数学
离散数学
本书共六章,内容涵盖集合论,数理逻辑,代数结构和图论,除传统离散数学内容外,还增加了在计算机应用技术中有广泛用途的"递推关系".
全书共分14章,主要介绍数理逻辑、集合论、代数系统、组合分析与算法数论、图论。各部分内容尽量由浅入深,同时都尽量安排了“应用”,试图让读者懂得“学以致用”。其中有些应用是对科技进步产生过重要作用的,有些应用在科学理论上意义重大。本丛书共23册.
本书集合理论篇包括:集合的基本概念,关系,函数;抽象代数篇包括:代数系统及其性质,几个典型的代数系统,格与布尔代数;数理逻辑篇包括:命题逻辑,一阶谓词逻辑,谓词演算的推理理论;图论包括:图,特殊图等内容.