普通高等教育“十二五”规划教材：离散数学与算法

　　前言
　　第1章  命题逻辑
　　第1节  命题和命题联结词
　　习题1
　　第2节  合式？式
　　习题2
　　第3节  逻辑等价演算
　　习题3
　　第4节  对偶
　　习题4
　　第5节  范式和判定问题
　　习题5
　　第6节  推理理论
　　习题6
　　第7节  命题逻辑的相关算法
　　第2章  谓词逻辑
　　第1节  谓词演算
　　习题1
　　第2节  谓词逻辑中的等值和蕴涵
　　习题2
　　第3节  谓词逻辑中的推理理论
　　习题3
　　第4节  谓词逻辑的相关算法
　　第3章  集合的基本概念和运算
　　第1节  集合的基本概念
　　习题1
　　第2节  集合的运算
　　习题2
　　第3节  集合的划分与覆盖
　　习题3
　　第4节  集合的相关算法
　　第4章  关系
　　第1节  序偶和笛卡尔积
　　习题1
　　第2节  关系及其表示
　　习题2
　　第3节  关系的性质
　　习题3
　　第4节  关系的运算
　　习题4
　　第5节  几类重要的二元关系
　　习题5
　　第6节  关系的相关算法
　　第5章  函数
　　第1节  函数
　　习题1
　　第2节  函数运算
　　习题2
　　第3节  基数
　　习题3
　　第6章  代数系统的一般概念
　　第1节  二元运算
　　习题1
　　第2节  二元运算的性质
　　习题2
　　第7章  代数系统
　　第1节  置换
　　习题1
　　第2节  半群
　　习题2
　　第3节  群
　　习题3
　　第4节  陪集
　　习题4
　　第5节  正规子群和拉格朗日定理
　　习题5
　　……
　　第8章  环、域、格和布尔代数
　　第9章  图的基本理论
　　第10章  树
　　参考文献

　　    周浩男，1980年出生，四川宜汉人，现任四川大学工商管理学院人力资源系讲师。周浩2009年毕业于华中科技大学管理学院，获管理学博士学位。长期以来作者致力于组织行为及人力资源管理研究，在国内外高水平学术杂志及会议上发表沦文20余篇，主持国家自然科学基金一项，参研三项。作者曾为国内数十家企业提供管理咨询服务，帮助企业解决工作分析、组织结构、薪酬设计、绩效考核、胜任力模型、管？沟通等问题。

　　    《普通高等教育“十二五”规划教材：离散数学与算法》系统讲解离散数学基础知识和应用方法及实现算法，内容包括数理逻辑、集合论、关系、函数、代数系统和图论及应用，同时给出了各章节相关内容的算法和程序。
　　    《普通高等教育“十二五”规划教材：离散数学与算法》内容安排合理，由浅入深、循序渐进、通俗易懂，理论和实践紧密结合，突出应用的特点。
　　    《普通高等教育“十二五”规划教材：离散数学与算法》可作为高等学校数学与计算机相关专业本科生的教材，也可供相关科技人员学习参考。