《离散数学及应用》是刘铎编著、清华大学出版社2013年6月出版的计算机专业教材，隶属“高等学校计算机专业系列教材”丛书，适用于计算机与软件工程专业本科教学。该书基于离散数学理论框架，旨在培养学生抽象思维与逻辑推理能力，为后续专业课程奠定基础 。
全书共9章，涵盖集合论、数理逻辑、二元关系、图论与代数结构四大模块，包含朴素集合论、命题逻辑、谓词逻辑等核心内容 。教材采用渐进式编排，部分抽象章节标注可选标识以适应不同教学需求，通过典型例题、应用案例与实验项目实现理论与实践结合，配套命题演算实现、关系应用等综合实验模块 。书中融入北京交通大学教学改革项目成果，兼具严谨性与适用性 。
想要了解更多“离散数学及应用（2013年清华大学出版社出版的图书）”的信息，请点击：离散数学及应用（2013年清华大学出版社出版的图书）百科
