离散数学及其应用 - Softcover

Softcover

ISBN 10: 7302418055 ISBN 13: 9787302418054

Synopsis

本书较为系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识，全书分为4个部分（数理逻辑、集合论、代数结构和图论），共7章。第1章介绍命题及命题逻辑；第2章介绍一阶谓词逻辑及其推理理论；第3章介绍集合的基本概念和性质；第4章介绍二元关系和函数；第5章介绍代数系统基本概念；第6章介绍几个典型的代数系统；第7章介绍图论的基础内容和一些特殊图及其性质。各章之后配有适当难度的习题及其简要参考答案，便于学生课后练习。每个部分结束后配有内容小结，便于学生自学、复习和提高。本书可以作为高等院校计算机科学与技术、软件工程、通信工程等相关专业的教材，也可以作为考研学生及计算机工作者的参考书。本书在第一版的基础上，结合几年来的教学实践，博采其他同类书籍的优点，根据计算机技术类相关专业的实际需要编写而成。全书脉络清晰，内容针对性强，特别适合青年教师教学使用。第一部分数理逻辑第1章命题逻辑1.1命题及联结词1.2命题公式与真值表1.3命题公式的范式与主范式1.4联结词的完备集1.5命题推理理论习题1第2章谓词逻辑2.1谓词的概念与表示2.2谓词公式2.3谓词公式的赋值与分类2.4谓词公式的等值演算2.5谓词公式的前束范式2.6谓词演算的推理理论习题2第二部分集合论第3章集合3.1集合的基本概念3.2集合的基本运算3.3集合恒等式习题3第4章二元关系和函数4.1二元关系4.2关系的运算4.3关系的性质4.4关系的闭包4.5等价关系与偏序关系4.6函数4.7集合的基数习题4第三部分代数结构第5章代数系统5.1二元运算及其性质5.2二元运算中的特殊元素5.3代数系统的概念习题5第6章几个典型的代数系统6.1半群与群6.2陪集与拉格朗日定理6.3群的同态与同构6.4循环群与置换群6.5环和域6.6格与布尔代数习题6第四部分图论第7章图论基础7.1图的基本概念7.2图的连通性7.3图的矩阵表示7.4欧拉图与哈密顿图7.5树7.6平面图习题7附录粗糙集理论概述习题参考答案参考文献

Edition details

• Language: Chinese
• ISBN 10: 7302418055
• ISBN 13: 9787302418054
• Binding: Paperback