本书对计算机类专业在本科阶段最需要的离散数学基础知识做了系统的介绍，力求概念清晰，注重实际应用。全书共分8章，内容包括准备知识（集合、整数、序列和递推关系、矩阵），数理逻辑，计数（组合数学），关系，布尔代数，图论（图、树、图和树的有关算法）及对应的离散数学实验等，并含有较多的与计算机类专业有关的例题和习题。 本书叙述简洁、深入浅出、注重实践和应用，主要面向地方院校和独立学院计算机类专业的本科学生，也可以作为大学非计算机类专业学生的选修课教材和计算机应用技术人员的自学参考书。

《离散数学基础及实验教程（第3版）》有以下特点：(1) 简单易学：只要求学生学过高等数学，不需要更多的预备知识，写作风格深入浅出，理论适中，实例丰富，便于自学。(2) 实用性强：注重离散数学作为计算机科学专业的数学基础，强调与本专业后续课程的关系，所举例子尽量与专业相关。(3) 定位明确：适合地方二本院校和独立学院学生使用。

前言 本书以《离散数学基础（第2版）》为基础，在广泛听取广大读者的意见和建议的基础上修改而成。本版主要对第2版中一些描述错误和印刷错误进行订正，增加了第8章离散数学实验等内容。 离散数学是计算机类专业的一门重要的专业基础课，属于现代数学的范畴，是随着计算机科学的发展而逐步形成的一门新兴的工具性学科。它在计算机类专业的许多后续课程中有着广泛的应用，为计算机科学与技术提供数学基础。国内已出版的离散数学教材不少，但特别适合地方院校和独立学院计算机类专业使用的不多，主要的问题是理论性太强，大都是从纯数学的角度讨论问题，缺乏与计算机相关专业的联系。本书的写作目的是从离散数学教学的实际现状出发，克服目前国内教材普遍存在注重理论、忽视应用的问题，按照突出离散数学的实用性以及实用够用的原则精选教学内容，突破传统的离散数学的四大模块内容，删除部分大学阶段用不到的内容，增加基础知识、组合数学、布尔代数及离散数学实验等内容，使教学内容更加易学实用。 本书第1章主要介绍本书所需的准备知识，包括集合及其在计算机中的表示、数论初步、序列和递推关系、一般矩阵和布尔矩阵的运算等。第2章主要介绍数理逻辑的基础知识，包括命题逻辑和谓词逻辑的基本概念、演算及推理等。第3章主要介绍组合数学中的计数理论和方法，包括计数原则、生成函数、鸽巢原理和容斥原理等。第4章主要介绍关系理论，包括二元关系基本概念和运算、等价关系与划分、偏序关系、n元关系及应用、函数等。第5章主要介绍布尔代数的基本理论和应用，包括布尔运算、布尔表达式和布尔函数、积之和展开式（析取范式）、逻辑门电路表示和卡诺图等。第6章主要介...