离散数学(修订版)(配学习卡)
¥26.70定价
作者: 耿素云 屈婉玲
出版时间:2006年2月
出版社:高等教育出版社
- 高等教育出版社
- 9787040133172
- 2
- 249667
- 平装
- 16开
- 2006年2月
- 362
- 离散数学
内容简介
本书第一版于1998年出版,是教育部高等学校“九五”规划教材和面向21世纪课程教材。此次修订在保持原有四部分内容(数理逻辑、集合论、代数结构和图论)的基础上,增加了相当数量的难度不同的练习题,并结合教学需要引入了一部分新的应用实例。
本书被列为普通高等教育“十五”国家级规划教材。与本书配套设计的网络课程、电子教案和习题辅导用书即将陆续推出。它们的有机配合可以满足不同教学环节的需求,构成全新的立体化系列教材。
本书可作为普通高等学校计算机及其他相关专业本科生离散数学课程的教材,也可供其他专业学生和工作人员阅读和参考。
目录
<p>  第一部分 数理逻辑<br>   第一章 命题逻辑基本概念<br>    1.1 命题与联结词<br>    1.2 命题公式及其赋值<br>    习题一<br>   第二章 命题逻辑等值演算<br>    2.1 等值式<br>    2.2 析取范式与合取范式<br>    2.3 联结词的完备集<br>    习题二<br>   第三章 命题逻辑的推理理论<br>    3.1 推理的形式结构<br>    3.2 自然推理系统P<br>    习题三<br>   第四章 一阶逻辑基本概念<br>    4.1 一阶逻辑命题符号化<br>    4.2 一阶逻辑公式及解释<br>    习题四<br>   第五章 一阶逻辑等值演算与推理<br>    5.1 一阶逻辑等值式与置换规则<br>    5.2 一阶逻辑前束范式<br>    5.3 一阶逻辑的推理理论<br>   习题五<br>  第二部分 集合论<br>   第六章 集合代数<br>    6.1 集合的基本概念<br>    6.2 集合的运算<br>    6.3 集合恒等式<br>    习题六<br>   第七章 二元关系<br>    7.1 有序对与笛卡儿积<br>    7.2 二元关系<br>    7.3 关系的运算<br>    7.4 关系的性质<br>    7.5 关系的闭包<br>    7.6 等价关系与划分<br>    7.7 偏序关系<br>    习题七<br>   第八章 函数<br>    8.1 函数的定义与性质<br>    8.2 函数的复合与反函数<br>    8.3 一个电话系统的描述实例<br>    习题八<br>   第九章 集合的基数<br>    9.1 集合的等势与优势<br>    9.2 集合的基数<br>    习题九<br>  第三部分 代数结构<br>   第十章 代数系统<br>    10.1 二元运算及其性质<br>    10.2 代数系统<br>    习题十<br>   第十一章 半群与群<br>    11.1 半群与独异点<br>    11.2 群的定义与性质<br>    11.3 子群<br>    11.4 陪集与拉格朗日定理<br>    11.5 正规子群与商群<br>    11.6 群的同态与同构<br>    11.7 循环群与置换群<br>    习题十一<br>   第十二章 环与域<br>    12.1 环的定义与性质<br>    12.2 整环与域<br>    习题十二<br>   第十三章 格与布尔代数<br>    13.1 格的定义与性质<br>    13.2 子格与格同态<br>    13.3 分配格与有补格<br>    13.4 布尔代数<br>    习题十三<br>  第四部分 图论<br>   第十四章 图的基本概念<br>    14.1 图<br>    14.2 通路与回路<br>    14.3 图的连通性<br>    14.4 图的矩阵表示<br>    14.5 图的运算<br>    习题十四<br>   第十五章 欧拉图与哈密顿图<br>    15.1 欧拉<br>    15.2 哈密顿图<br>    15.3 带权图与货郎担问题<br>    习题十五<br>   第十六章 树<br>    16.1 无向树及其性质<br>    16.2 生成树<br>    16.3 根树及其应用<br>    习题十六<br>   第十七章 平面图及图的着色<br>    17.1 平面图的基本概念<br>    17.2 欧拉公式<br>    17.3 平面图的判断<br>    17.4 平面图的对偶图<br>    17.5 图中顶点的着色<br>    17.6 地图的着色与平面图的点着色<br>    17.7 边着色<br>    习题十七<br>   第十八章 支配集、覆盖集、独立集与匹配<br>    18.1 支配集、点覆盖集与点独立集<br>    18.2 边覆盖集与匹配<br>    18.3 二部图中的匹配<br>    习题十八<br>  名词与术语索引<br>  符号注释<br>  参考文献<br> </p>