本书是与上海科学技术文献出版社1982版《离散数学》教材相配套的辅助教材,内容按照教材章节顺序进行编写。本书分为九章,内容包括命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格与布尔代数、图论、形式语言与自动机、纠错码初步。每章节包括:本章知识要点、典型例题分析与讲解、习题全解三部分。本章知识要点部分集中了离散数学的基本概念和定理;典型例题分析与讲解部分对常见典型题目的解题思路进行了分析;习题全解部分对教材中各对应习题做了详细的参考解答。
本书可作为高等院校离散数学课程的教学参考书,也可作为计算机软件水平考试和计算机等级考**书,以及考研者应试复习。

**章 命题逻辑
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第二章 谓词逻辑
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第三章 集合与关系
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第四章 函数
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第五章 代数结构
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第六章 格与布尔代数
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第七章 图论
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第八章 形式语言与自动机
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解
第九章 纠错码初步
Ⅰ 本章知识要点
Ⅱ 典型例题分析与讲解
Ⅲ 习题全解

本书是与上海科学技术文献出版社1982版《离散数学》教材相配套的辅助教材,内容按照教材章节顺序进行编写。本书分为九章,内容包括命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格与布尔代数、图论、形式语言与自动机、纠错码初步。每章节包括:本章知识要点、典型例题分析与讲解、习题全解三部分。本章知识要点部分集中了离散数学的基本概念和定理;典型例题分析与讲解部分对常见典型题目的解题思路进行了分析;习题全解部分对教材中各对应习题做了详细的参考解答。
本书可作为高等院校离散数学课程的教学参考书,也可作为计算机软件水平考试和计算机等级考**书,以及考研者应试复习。