课程介绍

本课程研究不同背景下离散量的结构、规律及相互关系，在程序设计语言、数据结构、操作系统、数据库原理、计算机网络、人工智能等方面都有着广泛的应用，不仅强调对知识的理解和掌握，还强调方法论的学习。
本课程的目的是使学生接受现代数学关于离散数学的观点，掌握命题逻辑和谓词逻辑、集合、关系和函数、图、树等几类模型的有关概念、基本理论和一定的应用技巧，具备使用离散数学模型分析和解决实际应用问题的能力。
本课程可以培养、训练并提高学生的问题抽象能力、逻辑推理能力以及利用离散数学模型分析和解决问题的能力等。本课程亦可培养学生自主性学习能力，为学生进一步学习后续课程以及进行或参与创新性的研究和开发工作打下坚实基础。

课程大纲

考核标准

综合成绩总分100，各项占比：
[线上成绩]：__20___%
[线下成绩]：__60__%
[其他]（翻转、论坛）]：___20__%
线上成绩总分100，各项占比：
[课件浏览]：__40___%
[客观练习]：__30___%
[主观练习]：__10___%
[课内讨论]：__20___%
【暂定，待更新】

教材教参

Bernard Kolman, Robert Busby, Sharon C. Ross. Discrete Mathematical Structures. 第6版(影印版). 北京. 高等教育出版社. 2010.