- 作 者：王茂林主编；华洪波，张庆海副主编；王红专，牛采银参编
- 出 版 社：徐州：中国矿业大学出版社
- 出版年份：2015
- ISBN：9787564619688
- 标注页数：122 页
- PDF页数：129 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源129 ≥122页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第1章 集合及其运算 1
1.1集合的概念及其表示 1
1.2集合的运算 3
1.3集合中元素的计数 7
习题1 9
第2章 二元关系 11
2.1集合的笛卡儿积 11
2.2二元关系 12
2.3关系的运算 15
2.4关系的性质 19
2.5等价关系与集合的划分 23
习题2 24
第3章 函数 27
3.1函数的概念 27
3.2函数的复合与反函数 29
习题3 32
第4章 命题逻辑 34
4.1命题与联结词 34
4.2命题变元与合式公式 37
4.3公式分类与等值式 39
4.4范式 42
4.5命题逻辑的推理理论 44
习题4 47
第5章 一阶逻辑 49
5.1一阶逻辑命题符号化 49
5.2一阶逻辑公式 53
5.3一阶逻辑等值式与置换规则 55
5.4前束范式 57
5.5一阶逻辑的推理理论 58
习题5 60
第6章 代数系统 62
6.1二元运算及其性质 62
6.2代数系统 70
习题6 73
第7章 群与环 75
7.1半群与群 75
7.2子群 80
7.3循环群与置换群 81
7.4环与域 85
习题7 90
第8章 图的基本概念 91
8.1图的定义及运算 91
8.2图的连通性 100
习题8 105
第9章 基本图类和算法 107
9.1树与生成树 107
9.2欧拉图、哈密顿图及其应用 111
9.3平面图 116
9.4图的点着色 117
习题9 120
参考文献 122