内容简介
《离散数学教程》共分五编。第一编为集合论，其中包括集合的基本概念、二元关系、函数、自然数、基数、序数。第二编为图论，其中包括图的基本概念、图的连通性、欧拉图与哈密顿图、树、平面图、图的着色、图的矩阵表示、覆盖集、独立集、匹配、带权图及其实用。第三编为代数结构，其中包括代数系统的基本概念、几个重要的代数系统：半群、群、环、域、格与布尔代数。第四编为组合灵敏学，其中包括组合存在性、组合计数、级合设计与编码以及组合最优化。第五编为数理逻辑，其中包括命题逻辑、一阶谓词逻辑、Her-brand定理和直觉逻辑。
作者简介
王捍贫（1964年—），男，中国人工智能学会常务理事，曾任北京大学教授，现任广州大学教授。 == 生平 == 1985年毕业于安徽师范大学数学系。1987年考取北京师范大学数学系研究生，先后于1990年、1993年获北京师范大学硕士、博士学位。1993年进入北京大学工作，曾北京大学信息学院计算机系副主任，软件研究所副所长，理论实验室主任。2018年调入广州大学，任广州大学计算机科学与网络工程学院院长，教授，博士生导师。 == 学术贡献 == 主要从事程序理论、计算复杂性、人工智能基础领域研究工作。
点击查看全部下载链接（含网盘地址及提取码）
