离散数学 本书特色

本教材是作者在十几年教授本课程的基础上，参考国内外数十种教材，结合自身的教学经验，面向普通高校计算机及其相关专业的学生编写的，本着“精简理论、强调应用”的原则，力求简洁、易懂。本教材选材精心、重点突出、内容严谨、注重概念的描述及解题的思想和方法分析，使学生能够在较短的时间内掌握本课程的基本概念、基本理论和基本方法，并得到对离散量处理的数学思维方式的训练及逻辑推理与抽象思维能力的训练。本书介绍的离散数学基本内容，为数据结构、数据库、操作系统、编译原理、人工智能、机器定理证明等计算机及信息类专业的后续课程做好必要的知识准备，为从事计算机的应用提供坚实的理论基础。

离散数学 内容简介

本书分4篇，共10章。第1篇是数理逻辑，内容包括命题逻辑和谓词逻辑；第2篇是集合论，内容包括集合、关系、函数、集合的基数；第3篇是代数系统，内容包括代数系统的基本概念和性质、群、环、域、格与布尔代数；第4篇是图论，内容包括图的基本概念和性质、几类重要的图（树、哈密尔顿图、欧拉图、平面图等）。第10章给出了离散数学在计算机类专业课程中的应用。
书中4部分各自成篇，在每篇开始处都有知识背景的介绍，讲解上可以根据情况调整先后顺序。全书编写力求语言简练、通俗易懂，精简了繁杂的理论证明，只给出方法性较强的定理的证明，强化了逻辑推理及应用内容，各章都配有典型例子和适量的习题，便于读者理解和掌握内容。附录给出了本书中常见的符号及其说明。
本书可作为高校计算机及相关专业的教材，也可供技术人员学习参考。

离散数学 目录

离散数学 节选

第1篇　数理逻辑
逻辑学是一门研究思维形式及思维规律的科学。逻辑规律就是客观事物在人的主观意识中的反映。由于研究的对象和方法各有侧重，又分为形式逻辑、辩证逻辑和数理逻辑。
数理逻辑（mathematical logic）又名符号逻辑，是用数学方法研究推理中前提和结论之间的形式关系的科学。
　 1.数理逻辑的特点
　数理逻辑主要有以下两个特点。
　 （1）强调的是研究“过程”。
　作为任何一个推理，均包含两个方面，即推理的内容和推理过程（或称推理形式）。
　 例如：①所有的人都有两只眼睛，张三是人，张三有两只眼睛。
　②所有的金属都有光泽，铁是金属，铁具有光泽。
　 从以上两例我们可以看出，**例的推理内容属生物学，第二例的推理内容属物理学，而二者的推理形式却是一样，这正是我们熟悉的三段论式。对推理内容，存在专门的学科去研究，而数理逻辑是研究共性的推理形式的，不关心推理的内容。如果我们把上两例的内容抽象掉，而只保留过程。
我们看到，这样处理，抓住了推理形式的规律。特别是用符号代替了推理内容的抽象，使单纯研究过程显得简洁明了，这一点正是数理逻辑与传统逻辑的重要区别之一。
　……