离散数学导论（第5版）

图书标准信息

• 作者 徐洁磐
• 出版社 高等教育出版社
• 出版时间 2016-12
• 版次 5
• ISBN 9787040466676
• 定价 30.00元
• 装帧 平装
• 开本 其他
• 纸张 其他
• 页数 275页
• 字数 99999千字

【目录】

篇离散数学概论第二篇集合论章集合论基础1.1集合的基本概念1.2集合运算1.3幂集习题1第2章关系2.1关系的预备知识——n元有序组与笛卡儿乘积2.2关系的基本概念2.3关系的运算2.4关系的五个重要性质2.5关系上的闭包运算2.6次序关系2.7相容关系2.8等价关系习题2第3章函数3.1函数的基本概念3.2复合函数、反函数、多元函数3.3常用函数介绍习题3第4章有限集与无限集4.1有限集与无限集基本概念4.2有限集4.3无限集的性质习题4第二篇复习指导第二篇总复习题第三篇代数系统第5章代数系统基础5.1代数系统的基本概念5.2代数系统九个基本性质5.3同构与同态5.4代数系统分类习题5第6章群论6.1群的基本概念6.2变换群6.3有限群6.4循环群6.5子群6.6正规子群习题6第7章环论、格论与布尔代数7.1环论7.2格论与布尔代数习题7第三篇复习指导第三篇总复习题第四篇图论第8章图论原理8.1图的基本概念8.2通路、同路与连通性8.3图的矩阵表示法习题8第9章常用图——树与欧拉图9.1树的基本性质9.2有向树9.3二元树9.4生成树9.5欧拉图习题9第四篇复习指导第四篇总复习题第五篇数理逻辑0章命题逻辑10.1命题与命题联结词10.2命题变元与命题公式10.3重言式10.4命题逻辑的基本等式及等式推理10.5命题逻辑的基本蕴涵式及蕴涵推理10.6范式10.7命题联结词的扩充与归约习题101章谓词逻辑11.1谓词与个体11.2量词11.3函数11.4谓词逻辑公式11.5自由变元与约束变元11.6谓词逻辑的永真公式11.7谓词逻辑的等式推理11.8谓词逻辑的蕴涵推理11.9谓词逻辑范式习题112章数理逻辑的公理化理论12.1公理化理论的基本思想12.2命题逻辑、谓词逻辑的公理化理论12.3数理逻辑应用公理系统12.4谓词逻辑的自动定理证明习题l2第五篇复习指导第五篇总复习题第六篇离散建模3章离散建模概念与方法13.1离散建模概念13.2离散建模方法13.3离散建模方法的五个步骤习题134章离散建模应用实例14.1数字逻辑电路中的离散建模14.2电话线路故障影响分析中的离散建模14.3数据库中关系数据模型的离散建模14.4操作系统中死锁检测的离散建模习题14第六篇复习指导第六篇总复习题附录一常用符号一览表附录二中英文名词对照表参考文献
作者介绍

序言