离散数学及其应用（第2版）

图书标准信息

• 作者 屈婉玲 耿素云 张立昂
• 出版社 高等教育出版社
• 出版时间 2018-12
• 版次 2
• ISBN 9787040500387
• 定价 37.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 148页

【内容简介】

本书以*十一五规划和面向21世纪教材《离散数学》为蓝本，进行缩编和补充修改。原教材*早是1998年版的国家九五规划教材，历经十五规划、十一五规划中不断补充和修订，被相当多的高校所选用，同时也是计算机专业在职申请硕士学位水平考试的指定参考教材，在国内离散数学界有较大的影响。本书将在保持原教材优势的基础上，针对应用人才的特点，去掉其中部分过深的内容，增加应用背景的阐述，更加适合于学时为60学时的普通院校使用。

   本书有比较丰富的教学资源：电子教案、配套的辅导教材和题解、网上资源及学习卡，这些都对想进一步深入学习的学生提供有效的帮助。

【目录】

部分 数理逻辑章 命题逻辑的基本概念1．1 命题与联结词1．2 命题公式及其赋值习题第二章 命题逻辑等值演算2．1 等值式2．2 析取范式与合取范式2．3 联结词的完备集习题二第三章 命题逻辑的推理理论3．1 推理的形式结构3．2 自然推理系统P习题三第四章 一阶逻辑的基本概念4．1 一阶逻辑命题符号化4．2 一阶逻辑公式及解释习题四第五章 一阶逻辑等值演算5．1 一阶逻辑等值式与置换规则5．2 一阶逻辑前束范式习题五第二部分 集合论第六章 集合代数6．1 集合的基本概念6．2 集合的运算6．3 有穷集的计数6．4 集合恒等式习题六第七章 二元关系7．1 有序对与笛卡儿积7．2 二元关系7．3 关系的运算7．4 关系的性质7．5 关系的闭包7．6 等价关系与划分7．7 偏序关系习题七第八章 函数8．1 函数的定义与性质8．2 函数的复合与反函数8．3 双射函数与集合的基数习题八第三部分 图论第九章 图的基本概念9．1 图9．2 通路与回路9．3 图的连通性9．4 图的矩阵表示习题九第十章 树10．1 无向树及其性质10．2 生成树10．3 根树及其应用习题十第十一章 几种特殊的图11．1 欧拉图11．2 哈密顿图11．3 二部图与匹配11．4 平面图习题十第四部分 组合数学第十二章 基本的组合计数公式12．1 加法法则与乘法法则12．2 排列与组合12．3 二项式定理与组合恒等式12．4 多项式定理习题十二第十三章 递推方程、生成函数及应用13．1 递推方程的定义及实例13．2 递推方程的公式解法13．3 递推方程的其他解法13．4 生成函数及其应用13．5 指数生成函数及其应用习题十三第五部分 代数系统简介第十四章 代数系统简介14．1 代数系统的基本概念14．2 几个典型的代数系统习题十四名词与术语索引符号注释习题对照表参考文献
作者介绍

序言