《离散数学》是由邵秀丽、王孝喜编著，2005年3月科学出版社出版的计算机科学专业教材，旨在系统构建离散结构的数学理论基础以支撑计算机学科发展 。
全书共11章，以命题逻辑、谓词逻辑、集合运算、二元关系、代数结构、图论及树结构为核心模块，延伸至Petri网、运输网络等应用课题。内容编排兼顾理论推导与实践建模，通过永真式判定、范式转换、哈密尔顿图等实例强化算法思维，配套习题与模拟试卷着重培养形式化证明能力。书中对布尔代数、组合数学等原理的阐释，为数据结构、算法设计及网络优化等领域提供数学工具支撑，突出计算机应用导向 。
想要了解更多“离散数学（2005年科学出版社出版的图书）”的信息，请点击：离散数学（2005年科学出版社出版的图书）百科
