离散数学第二版屈婉玲教材pdf_离散数学 第二版 [屈婉玲，耿素云，张立昂 编著] 2015年版...

离散数学 第二版

作　者：屈婉玲，耿素云，张立昂 编

出版时间：2015

丛编项：普通高等教育"十一五"国家级规划教材

内容简介

《离散数学(第2版)/普通高等教育“十一五”国家级规划教材》在原有基础上进行了更新，增加了一些典型的应用实例，并对例题和习题进行了补充。《离散数学(第2版)/普通高等教育“十一五”国家级规划教材》分为数理逻辑、集合论、代数结构、组合数学、图论、初等数论6个部分，既有严谨、系统的理论阐述，也有丰富的、面向计算机科学技术发展的应用实例，同时配有大量的典型例题与练习。各章内容按照模块化结构组织，可以适应不同的教学要求。《离散数学(第2版)/普通高等教育“十一五”国家级规划教材》配套有电子教案和学习指导与习题解析。《离散数学(第2版)/普通高等教育“十一五”国家级规划教材》可以作为普通高等学校计算机科学与技术、软件工程、信息与计算科学等专业本科生离散数学课程教材，也可以供其他专业学生和科技人员参考。

目录

第1部分 数理逻辑

第1章 命题逻辑的基本概念

1.1 命题与联结词

1.2 命题公式及其赋值

习题1

第2章 命题逻辑等值演算

2.1 等值式

2.2 析取范式与合取范式

2.3 联结词的完备集

2.4 可满足性问题与消解法

习题2

第3章 命题逻辑的推理理论

3.1 推理的形式结构

3.2 自然推理系统P

3.3 消解证明法

习题3

第4章 一阶逻辑基本概念

4.1 一阶逻辑命题符号化

4.2 一阶逻辑公式及其解释

习题4