- 清华大学出版社
- 9787302514541
- 1-1
- 227016
- 47190920-0
- 平装
- 16开
- 2018年11月
- 数学
- O158
- 数学
- 本科
内容简介
本书共分8章，分别为命题逻辑、一阶逻辑、集合、二元关系和函数、代数系统、格与布尔代数、图论和树.在结构体系上，本书首先介绍数理逻辑及集合相关内容；其次介绍关系及代数系统；*后介绍图论与树的相关知识及应用.每一章的内容介绍之后都选配了适量的习题，做到少而精，注意突出重点.便于学生理解和掌握抽象理论和方法.本书不仅可作为高等院校数学、计算机科学与技术及相关专业的教材，也可作为从事计算机工作的相关人员的参考书.
目录
1.1命题与联结词11.1.1命题与真值11.1.2命题联结词21.2命题公式及其解释61.2.1命题公式61.2.2命题的符号化71.2.3公式的赋值及真值表81.3命题公式的等值演算101.3.1命题公式的等值式101.3.2代入规则与替换规则111.4范式131.4.1合取范式与析取范式131.4.2主范式151.5联结词完备集181.6命题演算的推理理论201.7自然推理系统N中的形式证明22习题127第2章一阶逻辑302.1一阶逻辑基本概念302.2一阶逻辑公式及解释332.3一阶逻辑等值式与置换规则362.4一阶逻辑前束范式392.5一阶逻辑的推理理论40习题246第3章集合493.1集合的基本概念493.2集合的基本运算50[3]目录[3][1]目录[3]3.3集合中元素的计数51习题353第4章二元关系和函数544.1集合的笛卡儿积与二元关系544.2关系的运算574.3关系的性质634.4关系的闭包684.5等价关系与偏序关系744.6函数的定义和性质794.7函数的复合与反函数82习题485第5章代数系统885.1二元运算及其性质885.2代数系统945.3代数系统的同态与同构96习题598第6章格与布尔代数1006.1格的定义与性质1006.2分配格与有补格1056.3布尔代数111习题6114第7章图论1167.1图的基本概念1167.2通路、回路和图的连通性1237.3图的矩阵表示1287.4欧拉图1317.5哈密顿图1357.6应用举例139习题7142第8章树1448.1无向树及生成树1448.2根树及其应用148习题8153
