《离散数学及其应用》介绍离散数学的基本知识，包括数理逻辑、集合论、抽象代数、格和布尔代数，以及图论等。本书的特点注重于如何通过有关的数学理论、方法和技术去解决计算机科学中的实际应用问题。为此，本书力求做到理论的叙述与例题演算的有机结合，而且书中大量的例题都来自于计算机科学各领域中的实际问题，能使读者有真实感，同时，读者可以从这些例题中领悟到数学与计算机科学之间的密切关系。本书适合于高等院校计算机专业的本科生、研究生用作教材，同时也可供从事计算机应用开发的计算机专业工程技术人员参考。

第1章  数理逻辑<br>1.1命题演算<br>1.2重言式<br>1.3范式<br>1.4编译技术中波兰式与逆波兰式的表示<br>1.5命题演算的推理理论<br>1.6谓词演算<br>1.7谓词演算的推理理论<br>1.8谓词演算在人工智能中的应用<br>第2章  集合论<br>2.1集合论的基本概念<br>2.2集合的运算及文氏图<br>2.3关系和偏序<br>2.4函数<br>2.5递归函数<br>第3章  抽象代数<br>3.1代数系统及其运算<br>3.2同构和同态<br>3.3同余<br>3.4积代数<br>3.5半群和独异点<br>3.6群<br>3.7群码与纠错码<br>第4章  格和布尔代数<br>4.1格的概念<br>4.2格的性质<br>4.3格是一种代数系统<br>4.4子格、直积和同态<br>4.5几种特殊的格<br>4.6布尔代数<br>4.7布尔表达式和布尔函数<br>4.8布尔代数在逻辑电路设计中的应用<br>第5章  图论<br>5.1图的基本概念<br>5.2图的矩阵表示<br>5.3平面图<br>5.4树<br>5.5图论在计算机科学中的应用