离散数学第⼆版屈婉玲教材pdf_离散数学第⼆版[屈婉玲，耿素云，张⽴昂编著]2015年版...离散数学第⼆版作者：屈婉玲，耿素云，张⽴昂编出版时间：2015丛编项：普通⾼等教育"⼗⼀五"国家级规划教材内容简介《离散数学(第2版)/普通⾼等教育“⼗⼀五”国家级规划教材》在原有基础上进⾏了更新，增加了⼀些典型的应⽤实例，并对例题和习题进⾏了补充。《离散数学(第2版)/普通⾼等教育“⼗⼀五”国家级规划教材》分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论6个部分，既有严谨、系统的理论阐述，也有丰富的、⾯向计算机科学技术发展的应⽤实例，同时配有⼤量的典型例题与练习。各章内容按照模块化结构组织，可以适应不同的教学要求。《离散数学(第2版)/普通⾼等教育“⼗⼀五”国家级规划教材》配套有电⼦教案和学习指导与习题解析。《离散数学(第2版)/普通⾼等教育“⼗⼀五”国家级规划教材》可以作为普通⾼等学校计算机科学与技术、软件⼯程、信息与计算科学等专业本科⽣离散数学课程教材，也可以供其他专业学⽣和科技⼈员参考。⽬录第1部分数理逻辑第1章命题逻辑的基本概念1.1命题与联结词1.2命题公式及其赋值习题1第2章命题逻辑等值演算2.1等值式2.2析取范式与合取范式2.3联结词的完备集2.4可满⾜性问题与消解法习题2第3章命题逻辑的推理理论3.1推理的形式结构3.2⾃然推理系统P3.3消解证明法习题3第4章⼀阶逻辑基本概念4.1⼀阶逻辑命题符号化4.2⼀阶逻辑公式及其解释习题4第5章⼀阶逻辑等值演算与推理5.1⼀阶逻辑等值式与置换规则5.2⼀阶逻辑前束范式5.3⼀阶逻辑的推理理论习题5第2部分集合论第6章集合代数6.1集合的基本概念6.2集合的运算6.3有穷集的计数6.4集合恒等式习题6第7章⼆元关系7.1有序对与笛卡⼉积7.2⼆元关系7.3关系的运算7.4关系的性质7.5关系的闭包7.6等价关系与划分7.7偏序关系习题7第8章函数8.1函数的定义与性质8.2函数的复合与反函数8.3双射函数与集合的基数8.4⼀个电话系统的描述实例习题8第3部分代数结构第9章代数系统9.1⼆元运算及其性质9.2代数系统9.3代数系统的同态与同构习题9第10章群与环10.1群的定义及性质10.2⼦群与群的陪集分解10.3循环群与置换群10.4环与域习题10第11章格与布尔代数11.1格的定义与性质11.2分配格、有补格与布尔代数习颢11第4部分组合数学第12章基本的组合计数公式12.1加法法则与乘法法则12.2排列与组合12.3⼆项式定理与组合恒等式12.4多项式定理习题12第13章递推⽅程与⽣成函数.13.1递推⽅程的定义及实例13.2递推⽅程的公式解法13.3递推⽅程的其他解法.13.4⽣成函数及其应⽤13.5指数⽣成函数及其应⽤13.6cataIan数与stirling数习题13第5部分图论第14章图的基本概念14.1图14.2通路与回路14.3图的连通性14.4图的矩阵表⽰14.5图的运算习题14第15章欧拉图与哈密顿图15.1欧拉图15.2哈密顿图15.3最短路问题、中国邮递员问题与货郎担问题习题15第16章树16.1⽆向树及其性质16.2⽣成树16.3根树及其应⽤习题16第17章平⾯图17.1平⾯图的基本概念17.2欧拉公式17.3平⾯图的判断17.4平⾯图的对偶图习题17第18章⽀配集、覆盖集、独⽴集、匹配与着⾊18.1⽀配集、点覆盖集与点独⽴集18.2边覆盖集与匹配18.3⼆部图中的匹配18.4点着⾊18.5地图着⾊与平⾯图的点着⾊18.6边着⾊习题18第6部分初等数论第19章初等数论19.1素数19.2最⼤公约数与最⼩公倍数19.3同余19.4⼀次同余⽅程19.5欧拉定理和费马⼩定理19.6初等数论在计算机科学技术中的⼏个应⽤习题19名词与术语索引符号注释参考⽂献
