离散数学

本书是高等学校“十二五”规划教材·计算机软件工程系列，共分十二章：第一章介绍了集合及其运算；第二章和第三章介绍了映射与关系的概念及其性质；第四章到第十一章，介绍基本概念，包括无穷集合、无向图、生成树及其应用、群、环与域的基本知识；第十二章介绍了命题逻辑本章将讨论谓词、量词、命题符号化，谓词公式，谓词演算的恒等式和蕴含式，前束范式，谓词逻辑的推理理论。