离散数学教程纲要及题解 / 国家精品课程主讲教材配套教辅
作者： 王元元、宋丽华等
出版时间：2012年4月
出版社：高等教育出版社
- 高等教育出版社
- 9787040339963
- 1版
- 148479
- 0045151718-9
- 异16开
- 2012年4月
- 550
- 352
- 理学
- 数学
- O158-4
- 计算机科学与技术
- 本科
《离散数学教程纲要及题解》可作为高等学校计算机及相关专业离散数学课程教学辅导用书，也可作为离散数学课程学习的参考资料。
第0章 准备知识
0.1 集合、命题、谓词和运算
0.1.1 集合
0.1.2 命题与谓词
0.1.3 集合的表示
0.1.4 外延性原理与子集合
0.1.5 运算
练习0.1 题解
0.2 鸽笼原理
0.2.1 鸽笼原理基本形式
0.2.2 鸽笼原理加强形式
练习0.2 题解
第0章补充题及解析
第1章 逻辑代数(上)：命题演算纲要
1.1 逻辑联结词与命题公式
1.1.1 逻辑联结词
1.1.2 命题公式
1.1.3 语句形式化
练习1.1 题解
1.2 逻辑等价式和逻辑蕴涵式
1.2.1 重言式
1.2.2 逻辑等价式和逻辑蕴涵式
1.2.3 对偶原理
1.2.4 应用逻辑
练习1.2 题解
1.3 范式
1.3.1 析取范式和合取范式
1.3.2 主析取范式与主合取范式
1.3.3 联结词的扩充和归约
练习1.3 题解
1.4 命题演算消解原理
练习1.4 题解
第1章补充题及解析
第2章 逻辑代数(下)：谓词演算
……
第3章 集合代数
第4章 初等数论
第5章 计数
第6章 关系
第7章 函数
第8章 可计算函数
第9章 图片树
第11章 代数和结构通论
第12章 群、环、域
参考文献
