第1编 数理逻辑 3
第1章 命题逻辑 3
1.1 命题与联结词 3
1.2 命题公式与赋值 11
1.3 命题定理 14
1.4 范式 18
1.5 命题演算的推理理论 26
1.6 本章小结 32
1.7 学习指导 33
第2章 谓词逻辑 39
2.1 谓词逻辑基本概念 39
2.2 谓词公式 43
2.3 谓词的等值演算 46
2.4 前束范式 49
2.5 谓词逻辑的推理理论 52
2.6 本章小结 55
2.7 学习指导 56
第2编 集合论 63
第3章 集合及其运算 63
3.1 集合的概念和表示方法 63
3.2 集合的运算及其性质 68
3.3 笛卡儿积 79
3.4 本章小结 84
3.5 学习指导 86
第4章 二元关系与函数 93
4.1 关系的概念 93
4.2 关系的运算 98
4.3 关系的性质 107
4.4 等价关系和偏序关系 118
4.5 函数 128
4.6 本章小结 136
4.7 学习指导 140
5.1 图的基本概念 161
第3编 图论 161
第5章 图的基本概念 161
5.2 图的连通性 167
5.3 图的矩阵表示 173
5.4 最短路径和关键路径问题 180
5.5 本章小结 184
5.6 学习指导 186
第6章 几种特殊的图 193
6.1 欧拉图和中国邮路问题 193
6.2 哈密顿图和货郎担问题 197
6.3 平面图与图的着色 200
6.4 树 209
6.5 二分图 219
6.6 本章小结 223
6.7 学习指导 225
7.1 代数结构概述 235
第7章 群 235
第4编 代数系统 235
7.2 群的概念 241
7.3 特殊群 245
7.4 同态与同构 251
7.5 陪集与拉格朗日定理 255
7.6 正规子群和同态基本定理 259
7.7 本章小结 264
7.8 学习指导 266
第8章 其它代数系统 277
8.1 环与域 277
8.2 格与布尔代数 282
8.3 本章小结 292
8.4 学习指导 294
练习与习题答案或提示 299
符号表 356
参考文献 358
- 《离散数学 计算机数学基础教程》金一庆等编 1998
- 《离散数学》陈光喜,丁宣浩,古天龙编著 2008
- 《离散数学》蔡之华,薛思清,吴杰编著(中国地质大学计算机学院) 2008
- 《离散数学基础教程》徐洁磐编著 2009
- 《离散数学》魏耀华主编 2011
- 《计算机数学基础 上 离散数学》任现淼主编;吴裕树副主编 1999
- 《离散数学及其应用》傅彦等编著 2007
- 《离散数学》邓毅雄主编 2011
- 《离散数学》刘永平,刘玉胜编著 2006
- 《离散数学 计算机数学基础教程 第2版》金一庆,金廷赞,张三元编 2009
- 《计算机数学基础 上 离散数学》任现淼主编;吴裕树副主编 1999
- 《计算机数学基础 上 离散数学 第2版》任现淼主编;吴裕树副主编 2000
- 《理工教材 计算机数学基础 下 数值分析与组合数学 第2版》任现淼主编;吴裕树副主编 2000
- 《趣味数学365》任现淼编著 1993
- 《中学物理记忆手册》任现淼编著 1994
- 《新兴学科百万个为什么 数学类》任现淼主编 1994
- 《中学化学记忆手册 定义定理公式》任现淼编著 1994
- 《数学定义定理公式记忆手册 中学》任现淼编著 1991
- 《高等数学 1 考点归纳及历年试题分类解析》姚唐生主编;薛世明,曹善海,任现淼,张衍平编者 2004
- 《中学数学记忆手册 定义定理公式》任现淼编著 1994
- 《北京志 101 新闻出版广播电视卷 出版志》北京市地方志编纂委员会编著 2005
- 《北京大学医学出版社20周年论文集》北京大学医学出版社编 2010
- 《北京志 新闻出版广播电视卷.广播电视志》北京市地方志编纂委员会编著 2006
- 《北京大学出版社图书简介 2000》北京大学出版社总编室编 2001
- 《美国史 1 第13版 北京大学出版社》 2222
- 《北京理工大学出版社》彭奇林主编 2010
- 《北京志 100 新闻出版广播电视卷 期刊志》张明义,王立行,段柄仁主编;北京市地方志编纂委员会编;颜吉鹤(卷)主编 2006
- 《辛弃疾全词索引及校勘》林淑华编著 1998
- 《历史唯物主义教程》赵家祥等主编 1999
- 《北京师范大学编辑出版硕士研究生十年文集 崛 1993-2002年》常汝吉出版 2002