书目

离散数学(第2版)

内容简介

《离散数学(第2版)》共分四大部分:数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理理论,一阶逻辑的基本概念、前束范式以及推理理论;集合论部分包括集合的基本概念与运算,二元关系的性质与运算、等价关系与偏序关系,函数及其性质,复合函数与反函数等;代数结构部分包括二元运算及代数系统,半群、独异点、群、环与域、格与布尔代数等。图论部分包括图的基本概念和矩阵表示,树的概念、性质及应用,二部图,欧拉图,哈密尔顿图,平面图,图的着色等。本书适合普通高校计算机及相关专业理算数学的入门教材和参考书。

作者简介

耿素云,北京大学信息科学技术学院教授,长期从事离散数学的教学工作,曾在北京大学出版社出版《离散数学》《离散数学教程》《离散数学习题解析》。屈婉玲,现任北京大学信息科学技术学院和高可信软件技术教育部重点实验室教授,博士生导师,中国人工智能学会离散数学专委会副主任。多年讲授本科生主干基础课离散数学和研究生必修课算法设计与分析。主要研究方向是算法设计与分析,参与国家973、863和自然科学基金研究课题多项。发表论文20多篇,出版教材、教学参考书、译著20多部。

目录

—  END  —