出版社:中国地质大学出版社
出版日期:1998-04
ISBN:9787562513285
页数:264页
书籍目录
目录
第一篇 集合论
第一章 集 合
§1.1集合及其表示
§1.2集合的运算
§1.3自然数和数学归纳法
第二章 关 系
§2.1笛卡儿积与关系
§2.2复合关系与逆关系
§2.3关系的闭包
§2.4等价关系
§2.5序关系
第三章 函 数
§3.1函数的概念
§3.2复合函数与逆函数
§3.3集合的基数
§3.4模糊子集
第二篇 数理逻辑
第四章 命题演算
§4.1命题与命题公式
§4.2命题公式的真假性
§4.3范式
§4.4推理理论
§4.5命题演算公理系统
§4.6命题演算公理系统中的推理方法
§4.7关于命题演算公理系统的讨论
第五章 谓词演算
§5.1个体词、谓词和量词
§5.2谓词演算公式
§5.3谓词公式的真假性
§5.4谓词演算推理理论
§5.5谓词演算公理系统
第三篇 代数结构
第六章 代数结构的一般理论
§6.1运算
§6.2代数结构
§6.3同构与同态
§6.4同余与商代数
§6.5积代数
第七章 群 论
§7.1半群与独异点
§7.2群及其性质
§7.3子群与陪集
§7.4循环群与变换群
§7.5正规子群与满同态
§7.6直积
第八章 环与域
§8.1环的定义及基本性质
§8.2子环与理想子环
§8.3理想与满同态
§8.4域及其性质
§8.5直和
第九章 格与布尔代数
§9.1格及其性质
§9.2格是一种代数结构
§9.3几种特殊的格
§9.4布尔代数
§9.5有限布尔代数
§9.6布尔表达式
第四篇 图 论
第十章 图的基本概念
§10.1基本术语
§10.2路、回路及连通图
§10.3图的矩阵表示
§10.4欧拉图与哈密顿图
第十一章 树
§11.1树的概念及性质
§11.2生成树及深度优先搜索法（DFS）
§11.3最小生成树及克鲁斯科尔算法
§11.4有向树与有序树
§11.5最优树及霍夫曼算法
第十二章 平面图与着色
§12.1平面图与欧拉公式
§12.2平面图的判定
§12.3对偶图与着色
第十三章 连通度、网络与匹配
§13.1连通度
§13.2网络中的最大流
§13.3二分图与匹配
主要参考书目