离散数学
内容简介：本书根据作者多年从事离散数学教学和实践经验编写而成, 系统地阐述了离散数学的经典内容, 从离散结构的形式化表示, 到各类离散结构及其数学模型的描述, 讲解有关集合、数理逻辑、图论以及代数系统的基本概念、定理、证明方法以及相关算法, 逐步建立离散化、公理化和系统化的计算机专业意识, 并通过紧密联系计算机学科的的应用实例, 展示离散数学理论在软件工程和计算机科学与技术中的基础作用和强大应用, 特别强调计算思维和理论应用能力的培养。全书共11章, 包括集合、关系、函数、命题逻辑、谓词逻辑、图和树, 以及代数系统
登录后可荐购