目 录 1
第一章集合 1
§1.1集合及其表示 1
§1.2集合的运算 7
§1.3自然数和归纳法 14
§1.4笛卡儿乘积 21
第二章二元关系 25
§2.1关系 25
§2.2关系矩阵与关系图 29
§2.3逆关系 33
§2.4关系的合成 35
§2.5关系的闭包 39
§2.6相容关系 44
§2.7等价关系 47
§2.8序关系 53
第三章 函数 62
§3.1部分函数 62
§3.2函数的合成 66
§3.3逆函数 69
§3.4特征函数 72
§3.5基数 73
§3.6基数算术 78
§4.1命题和联结词 80
第四章命题逻辑 80
§4.2合式公式 83
§4.3等价和蕴含 87
§4.4范式和判定问题 92
第五章谓词逻辑 97
§5.1变元、谓词和量词 97
§5.2合式公式 104
§5.3永真式 108
§5.4永真式的判定 111
§6.1 自然推理系统 115
第六章自然推理系统 115
§6.2形式推理关系的简化证明 121
第七章图论 125
§7.1图的基本概念 125
§7.2子图和图的运算 130
§7.3路径、回路和连通性 134
§7.4欧拉图和哈密顿图 141
§7.6树、有向树和有序树 142
§7.5图的矩阵表示 144
§7.7二部图 157
§7.8平面图 161
§7.9网络流 164
第八章原始递归函数 170
§8.1原始递归函数的定义 170
§8.2常用函数的原始递归性 173
§8.3康托尔编码和哥德尔编码 181
§8.4原始递归谓词 189
§8.5部分递归函数的概念 194
§8.6阿克曼函数 197
第九章程序正确性验证 206
§9.1流图程序 206
§9.2霍尔的程序逻辑 215
§9.3终止推断规则 219
第十章代数结构 223
§10.1代数运算 223
§10.2代数结构 226
§10.3同态与同构 227
§10.4同余关系 230
§10.5商代数和积代数 232
第十一章半群、独异点和群 236
§11.1半群和独异点 236
§11.2群的基本性质 239
附录初等数论中的某些结果 242
§11.3子群和群的同态 244
§11.4变换群与循环群 246
§11.5不变子群、商群和群同态定理 250
第十二章环和域 256
§12.1具有两个二元运算的代数结构 256
§12.2有限域 263
附录域上多项式的最高公因式 268
§12.3有限域的结构 269
§12.4有限域的表示 275
§13.1格及其性质 278
第十三章格与布尔代数 278
§13.2格是一种代数 282
§13.3特殊格 285
§13.4布尔代数 288
§13.5有限布尔代数的唯一性 294
§13.6自由布尔代数 296
第十四章代数结构在计算机设计中的应用 302
§14.1剩余算术在计算机设计中的应用 302
§14.2动态存貯器的置换联结 305
参考书目 311
符号表 311
索 引 314
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《数学物理方法与仿真 第3版》杨华军 2020
- 《高等数学 上》东华大学应用数学系编 2019
- 《聋校义务教育实验教科书教师教学用书 数学 一年级 上》人民教育出版社,课程教材研究所,小学数学课程教材研究中心编著 2017
- 《离散数学》(中国)杨文国,高华,石莹 2019
- 《指向核心素养 北京十一学校名师教学设计 数学 九年级 上 配人教版》周志英总主编 2019
- 《2018考研数学 数学 1 15年真题详解及解题技巧》本书编委会著 2017
- 《香山设县850年》吴冉彬主编;中山市地方志办公室等编 2003
- 《晚霞风景 《晚霞》杂志创刊十周年作品选集》王诚德等编 1999
- 《行知工程创新教学探索系列 小学语文单元整体课程实施与评价》李怀源等编 2012
- 《诗文阅读入门》邵霭吉,戴永俊,朱桂元主编;王延潭,王学荣,王辉等编 1991
- 《全国精美作文年选 2009年度经典 高中卷》邵荣霞主编;邵荣霞,张年军,屠丽君等编 2010
- 《外科诊疗手册 新1版》裘法祖等编 1956
- 《数学分析习题课讲义 第2版 下册》谢惠民等编 2019
- 《日本经济现状研究》薛敬孝等编 1998
- 《黑龙江省主要野生药用植物的鉴别及中草药新制剂 第一部分》黑龙江省中草药进修班等编 1971
- 《大学物理实验》刘汉臣等编 2016