- 作 者：王湘浩等著
- 出 版 社：长春：吉林大学出版社
- 出版年份：1988
- ISBN：7560100953
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
10
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
第一章 集合 1
1 基本概念 1
2 关系 4
3 等价关系 8
4 部分序关系 13
5 映射 16
第二章 命题逻辑 21
1 基本概念 21
2 范式 26
3 公式的蕴涵 34
4 定理证明的自动化 43
第三章 一阶逻辑 49
1 谓词与量词 49
2 公式 53
3 范式 57
4 例 63
第四章 格与布尔代数 68
1 引言 68
2 格的定义 69
3 格的性质 74
4 几种特殊的格 81
5 布尔代数 87
6 有限布尔代数的结构 92
7 布尔表达式的化简 102
第五章 图 118
1 图 118
2 树 124
3 有向图与有向树 130
4 Euler路 135
5 Hamilton路 138
6 K？nig无限性引理 150
第六章 整数 155
1 整除性 辗转相除 155
2 互质 质因数分解 161
3 合同 164
4 秦九韶定理 Euler函数 168
第七章 群环域 172
1 置换 172
2 群的定义 177
3 子群及其陪集 182
4 同态与同构 189
5 环 194
6 环同态 200
7 域 206
第八章 有限自动机 211
1 有限自动机的基本概念 211
2 内动机及其结构 215
3 驱动机及其结构 220
4 简化问题 227
5 未完全确定的有限自动机 236
第九章 Tuting机与可计算性 247
1 Turtiug机 247
2 可计算函数 251
3 可计算函数的运算 256
4 递归函数 269