离散数学_PDF下载[90MB-百度云]邵学才、沈彤英、邓米克、蒋强荣/国别：中国大陆

内容简介

[

本书是以培养应用人才为主的教学型大学计算机专业本科生使用的教材。内容涵盖集合论、数理逻辑、代数结构和图论，除传统离散数学内容外，还增加了在计算机应用技术中有广泛用途的“递推关系”。教材中配有大量例题，帮助学生由浅入深地理解和掌握基本概念，有些例题还有多种求解方法。
本书适合普通高校计算机专业学生使用，也可作为各类继续教育学院相关专业教材使用。

]

第1章集合、关系与函数1．1集合1．1．1集合的基本概念1．1．2集合的基本运算1．1．3包含排斥原理1．2二元关系1．2．1引言1．2．2集合的笛卡儿乘积1．2．3二元关系的3种表示方法1．2．4关系的基本类型1．2．5等价关系与划分1．2．6偏序关系1．2．7复合关系与逆关系1．2．8关系的闭包运算1．3函数1．3．1函数的基本概念1．3．2特殊函数1．3．3复合函数与逆函数习题第2章命题逻辑2．1命题和联结词2．1．1命题和命题变元2．1．2命题联结词2．2真值表和逻辑等价2．2．1命题公式的真值表2．2．2逻辑等价2．3永真蕴含式2．3．1永真蕴含式的定义2．3．2永真蕴含式的性质2．4推理理论2．4．1前提与有效结论2．4．2直接证明法2．4．3间接证明法2．5范式2．5．1析取范式和主析取范式2．5．2合取范式和主合取范式习题第3章谓词逻辑3．1谓词逻辑的基本概念3．1．1谓词与命题函数3．1．2量词3．1．3谓词合式3．1．4约束元和自由元3．2等价式与永真蕴含式3．2．1等价式3．2．2前束范式3．2．3永真蕴含式3．3谓词演算的推理理论习题第4章代数系统4．1代数系统的基本概念4．1．1代数系统的定义4．1．2特殊运算与特殊元素4．1．3同构4．2半群与独异点4．2．1半群与子半群4．2．2独异点与子独异点4．3群4．3．1群的定义和性质4．3．2子群4．3．3循环群4．3．4群码4．4环和域4．4．1环和特殊环4．4．2域4．5格4．5．1格的基本概念4．5．2特殊格习题第5章图论5．1图的基本概念5．1．1图的基本类型5．1．2图中顶点的度数5．1．3则图与完全图5．1．4子图5．1．5图的同构5．1．6补图5．1．7图的矩阵表示5．2图的连通性5．2．1通路与回路5．2．2连通图5．3欧拉图与哈密顿图5．3．1欧拉图5．3．2台密顿图5．3．3旅行售货员问题5．4二部图与平面图5．4．1二部图5．4．2平面图5．5树5．5．1无向树5．5．2有向树5．5．3周游算法5．5．4前缀码与*优树习题第6章递推关系与生成函数6．1递推关系的基本概念6．2常系数线性递推关系6．2．1齐次常系数线性递推关系6．2．2非齐次常系数线性递推关系6．3生成函数习题参考文献