内容介绍
用户评论
全部咨询
本书是与科学出版社2002版《离散数学导论》教材相配套的辅助教材。内容按照教材对应章节的先后次序安排,每章节包括了内容概述和习题解答两部分,前者集中了离散数学最基本的概念和定理,后者是教材中习题的详细参考解答。本书的目的是为读者开拓解题思路,提供解题方法和技巧,加深读者对离散数学应用及其与计算机科学的联系的认识,从而逐步增强分析问题和解决问题的能力。
本书可作为高等院校计算机专业及相关专业本科生、专科生离散数学课程的教学参考书,也可作为计算机软硬件研究开发者和应用人员的学习用书,以及大学毕业生考研复习用书。
目录
- 第一篇 数理逻辑
第一章 命题演算及其形式系统
1.1命题与联结词
1.2重言式
1.3范式
△1.4命题演算形式系统
第二章 谓词演算及其形式系统
2.1个体、谓词和量词
2.2谓词演算永真式
△2.3谓词公式的前束范式
△2.4一阶谓词演算形式系统
*第三章 消解原理
3.1斯柯伦标准形
3.2命题演算消解原理
3.3谓词演算消解原理
第二篇 集合论
第四章 集合及其运算
4.1集合的基本概念
4.2集合运算
4.3集合的归纳定义及归纳法证明
第五章 关系
5.1有序组与集合的笛卡儿积
5.2关系
5.3等价关系
5.4序关系
第六章 函数
6.1函数及函数的合成
6.2特殊函数类
6.3函数的逆
△6.4函数、谓词、集合
*第七章 基数
7.1有限集和无限集
7.2基数
第三篇 图论
第八章 图
8.1图的基本知识
8.2路径、回路及连通性
8.3欧拉图与哈密顿图
8.4图的矩阵表示
第九章 特殊图
9.1二分图
9.2平面图
9.3树
第四篇 抽象代数
第十章 代数结构通论
10.1代数结构
10.2同态、同构及同余
△10.3商代数与积代数
第十一章 群、环、域
11.1半群
11.2群
11.3循环群和置换群
11.4环
△11.5域
△第十二章 格与布尔代数
△12.1格
12.2布尔代数