由于《离散数学》是一门由几个数学分支综合在一起的数学课，所以内容繁多，非常抽象，因此学习难度较大。但是由于《离散数学》在计算科学中的地位使得必须学好该课程。离散数学是理论性较强的学科，学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。

《离散数学》的特点是：1、内容多、定义多、定理多：《离散数学》是建立在大量概念之上的逻辑推理学科，概念的理解是我们学习这门学科的核心。离散数学每章节的基本结构都是若干定义和定理加定义定理的直接应用。掌握、理解和运用这些概念和定理是学好这门课的关键。要特别注意概念之间的联系，而描述这些联系的则是定理和性质。2、抽象性强：离散数学的特点是是知识点集中，对抽象思维能力的要求较高。由于离散数学定义的抽象性，使初学者往往不能在脑海中直接建立起它们与现实世界中客观事物的联系。因此学习离散数学，能培养自己的逻辑推理能力、抽象思维能力和形式化思维能力，这些能力对今后的学习和工作都是极其重要的，在学习任何一门计算机科学的专业主干课程时，都不会遇上任何思维理解上的困难。

在学习《离散数学》的过程，对概念的理解和记忆是学习的重中之重。一般来说，由于这些概念（定义）非常抽象，初学者往往不能在脑海中建立起它们与现实世界中客观事物的联系。同时，这些概念和定义往往都比较繁琐，完全记住是非常困难的。因此找到一种有效的理解记忆方法是非常重要的。具体做法是在理解的基础上，总结一些简洁明了朗朗上口的记忆方式，比如，关于极大项极小项的定义，一共100多个字，那么可以用“合小析大”来记忆。在进行完一章的学习后，用专门的时间利用网络教学平台上的教学视频进行复习，然后对该章包括的定义与定理用上述方法实施整合。只有这样才可能掌握好本课程的知识，并为后续学习打下良好的基础。

题海战术是提高数学技能，掌握数学知识最直接有效的方法，《离散数学》的学习也不例外，要认真完成教师网络教学平台上布置的作业。但是，更重要的还在于学习数学思维方法，即总结题型方法。比如证明题，《离散数学》的证明题多，不同的题型会需要不同的证明方法（如直接证明法、反证法、归纳法、构造性证明法），同一个题也可能有几种方法。但是《离散数学》证明题的方法性是很强的，如果知道一道题用什么方法证明，则很容易可以证出来，否则就会事倍功半。因此在平时的学习中，要勤于思考，认真归纳，仔细总结记忆题目类型和此类题目的解题套路。如此多作练习，则即使遇到比较陌生的题也可以较快地领悟其本质。要充分利用发达的通信方式，如QQ，微信，网络教学平台的讨论答疑等板块和教师交流探讨。

因此，只要认真学习，勤于总结，每位同学都可以学好离散数学这门课，提高自身的逻辑推理能力、抽象思维能力和形式化思维能力，从而今后在学习任何一门计算科学的专业主干课程时，都不会遇上任何思维理解上的困难。

1、师资条件：教学团队成员都是具有多年丰富教学经验的教师，全部都取得了研究生学位，博士2名，在读博士1名，团队成员共有教授1名，副教授2名，讲师2名。

2、硬件条件：我院拥有两个配备齐全的现代化标准实验室和多个多媒体设备齐全的教室，能够满足离散数学的教学和实验。

1、充分发挥学生的学习主体性和教师的协助性，充分利用网络教学平台，为学生提供网络教学资源，网络学习、答疑、讨论的空间。以课堂教学为主，精讲多练，以引导法为主要教学方法，结合“案列式、启发式、参与式、渗透式”进行教学将单纯课堂教学，转变成为课内课外相结合的学习方式。

2、教师精选内容讲解，利用网络教学平台，布置作业，学生预复习，多做习题。坚持讲重点、讲难点、讲思路、讲方法、讲学科前沿，努力作到少、精、宽、新；坚持引导式教学，以知识为载体，培养学生分析解决问题的思维方式和方法；化抽象为具体，激发学生学习兴趣，增加课堂信息量，培养学生形象思维及创新思维能力。

1.选用教材

 屈婉玲，耿素云,张立昂.《离散数学(第2版)》[M].北京：高等教育出版社，2015.

2.主要参考书目

[1]肯尼思.H.罗森. 离散数学及其应用[M].北京：机械工业出版社，2017.

[2]刘铎.离散数学及其应用[M].北京：清华大学出版社，2018.

[3]方世昌.离散数学[M].西安：西安电子科技大学出版社，2018.

[4]耿素云，屈婉玲，王捍贫.离散数学习题解析[M].北京：北京大学出版社，2008年.

［1］ 游文杰．计算机科学中的数学──谈计算机专业数学的学习［J］．福建师大福清分校学报，2004( 2) : 16－18． 

［2］ 刘榜铭，张儒良．计算机科学中的逻辑应用研究［J］．赤峰学院学报: 自然科学版，2017，33( 20) : 14－15． 

［3］ 耿 玉．计算机软件工程技术中的逻辑应用探析［J］．信息通信，2016( 12) : 112－114． 

［4］ 王 明．逻辑学在计算机科学中的应用［J］．计算机光盘软件与应用，2013( 19) : 150． 

［5］ 李 攀．计算机软件工程技术中的逻辑运用［J］．科技传播，2017，9( 4) : 35－36． 

［6］ 卢延鑫．逻辑学在计算机科学中的应用［D］．上海: 上海社会科学院，2008． 

［7］ 孙兆豪．逻辑学及其在计算机科学中的应用［J］．河北大学学报: 自然科学版，1991，11( 2) : 93－98． 

［8］ 金克勤．2019 年高考“集合、常用逻辑用语、复数”专题命题分析［J］．中国数学教育，2019( 7) : 14－21． 

［9］ 许 梅，刘永富．运用语义分析方法重新解决逻辑的判定［J］．社会科学辑刊，2002( 3) : 28－33． 

［10］ 王爱凤．罗素研究真理的方法论分析及现实意义［J］．内蒙古财经大学学报，2019，17( 6) : 138－140． 

［11］ 卓 立．确定信念与知识确定性: 关于经验证实本质的历史现象学建构［J］．社会科学，2019( 11) : 128－137．

［12］ 倪 斐．改革开放以来中国特色社会主义法治的理论命题与逻辑转向［J］．内蒙古社会科学: 汉文版，2019，40( 6) :75－84． 

［13］ 侯慧杰．计算机软件工程技术中的逻辑应用［J］．文化创新比较研究，2019，3( 19) : 25－26． 

［14］ 汪欣欣．基于逻辑结构标记的政治话语体系内部分化机制研究［J］．当代修辞学，2018( 5) : 74－84． 

［15］ GIOＲDANO L，GLIOZZI V，OLIVETTI N，et al． Semantic characterization of rational closure: from propositional logic to description logics［J］． Artificial Intelligence，2015，226 ( sep．) : 1－33． 

［16］ AIGUIEＲ M，ATIF J，BLOCH I，et al．Explanatory relations in arbitrary logics based on satisfaction systems，cutting and retraction［J］．International Journal of Approximate Ｒeason- ing，2018，102( NOV．) : 1－20． 

［17］ YING Mingsheng．Phase semantics for a pure noncommuta- tive linear propositional logic［J］．计算机科学技术学报: 英文版，1999，14( 2) : 135－139． 

［18］ BENEVIDES M Ｒ F，SCHECHTEＲ L M．A propositional dy- namic logic for concurrent programs based on the π－calculus ［J］． Electronic Notes in Theoretical Computer Science， 2010，262( none) : 49－64． 

［19］ ＲENGEＲ Ｒ，HUＲLEY C． From theory to practice: lessons learned in the application of the ATM approach to developing logic models［J］． Evaluation ＆ Program Planning，2006，29 ( 2) : 106－119． 

［20］ FEＲＲAＲI M，FIOＲENTINI C．Goal－oriented proof －search in natural deduction for intuitionistic propositional logic［J］． Journal of Automated Ｒeasoning，2019，62( 1) : 127－167． 

［21］ ＲOMEIJN J W．European summer school on logic，language， and information［J］．Health Policy ＆ Planning，2008，17( 4) :354－361． 

［22］ AWODEY S，ＲECK E H．Completeness and categoricity，Part I: 19th century axiomatics to 20th century metalogic［J］．His- tory ＆ Philosophy of Logic，2002，23( 1) : 1－30． 

1、http://www.tutorialspoint.com/discrete_mathematics/        国外网络教程

2、https://www.journals.elsevier.com/discrete-mathematics     国外离散数学的期刊网站

3、https://artofproblemsolving.com/blog/articles/discrete-math  关于离散数学问题讨论的网站

4、http://www.cs.bham.ac.uk/~exr/blc/  不列颠逻辑研讨会的主页，包括数学逻辑的相关研究，如相关网站及电子期刊。

5、https://cs22.cafe/     布郎大学的离散数学主页

6、http://archives.math.utk.edu/topics/logic.html  田纳西州立大学数学系 数学档案主页的数学主题：逻辑学与集合论，包括各 种相关的网上资源