书名：离散数学   
ISBN：9787308262835  
作者：李曲、杨曦、杨海平、叶阳  
 

内容提要：  
离散数学的主要研究对象是计算机相关学科中离散量的结构及其相互关系。本书主要包括数理逻辑、集合与函数、代数系统及布尔代数、图论等主要内容。内容涵盖计算机科学技术中常用的离散结构的数学基础。本书在注重离散数学体系的基础上，强化证明思想和方法的介绍，在讲解基本内容及基本概念的时候尽可能结合实例，重视理论和方法的实用性。 本书为浙江省一流课程“离散数学”配套教材，系统地介绍了计算机科学与技术等相关专业所必需的离散数学知识，全书分为四个部分，共7章。第1章介绍命题及其命题逻辑；第2章介绍谓词逻辑及其推理理论；第3章介绍集合与关系的基本概念和性质；第4章介绍函数；第5章介绍代数系统；第6章介绍格与代数系统；第7章介绍图论的基本概念及其性质。  



目录：  

在线试读：