摘要：本文分析了离散数学在计算机专业中的重要性以及离散数学的特点；给出学习离散数学的方法；重点介绍如何记忆离散数学中的定义和定理，为学好离散数学打好基础。
　　关键词：离散数学 特点 学习方法 定理梳理
　　离散数学由几个数学分支综合在一起，内容繁多，非常抽象，学习起来非常困难。但由于离散数学在计算机科学中的重要性，计算机专业的学生必须牢牢掌握这门课程。离散数学是理论性较强的学科，学习离散数学的关键是对集合论、数理逻辑和图论有关基本概念的准确掌握，对基本原理及基本运算的运用。
　　1、离散数学的特点和学习方法
　　1.1概念和定理多，须准确记忆
　　 离散数学是建立在大量概念之上的逻辑推理学科，概念的理解和掌握是我们学习这门学科的核心。无论那本离散数学的教材，无论哪个教师讲课，都会给出若干定义和定理。掌握、理解和运用这些概念和定理是学好离散数学的关键。
离散数学考试中很多题目是直接考察定义和定理的，这部分题目往往难度较低，本应该较好得分的，大家在复习中却容易忽视。在计算机科学与技术同等学力申硕考试中，经常出现直接考查对知识点识记的题目，对于这类题目，就看考生能否全面、准确的理解和记忆概念和定理，任何的疏忽和模糊，都会造成极为可惜的失分。因此笔者建议，在复习的时候，务必对知识点深刻理解、准确记忆，离散数学的定义和定理主要集中在数理逻辑、集合论和图论三个部分，而数理逻辑又是离散数学的第一个部分，对这部分内容的理解和记忆直接影响后续学习的思维和信心，因此本文主要介绍数理逻辑部分定理的记忆方法。
　　 1.2解题方法性强，须勤加练习
　　 离散数学的特点是抽象思维能力的要求较高，证明题的方法性是很强的。离散数学的证明题多，不同的题型会需要不同的证明方法，如直接证明法、反证法、归纳法、构造最大最小最长等证明法。
　　如果知道一道题用什么方法，则很容易证出来，否则就会事倍功半。因此在平时的学习中，要勤于思考，对于同一个问题，尽可能多探讨几种证明方法，从而学会熟练运用这些证明方法。离散数学的教材提供了大量课后练习，花费大量时间做完这些习题是不现实的，但是题目类型是有限的，在做练习的过程中注意总结，最重要的是要掌握证明的思路和方法。例如在命题逻辑部分，无非是这么几种题目：将自然语言表述的命题符号化，等价命题的相互转化。在平常学习中，要善于总结和归纳，仔细体会题目类型和此类题目的解题套路。多作练习，即使遇到比较陌生的题也可以较快地领悟其本质，从而轻松解出。
　　2、学习离散数学的第一步
　　 2.1概念定理梳理的必要性
　　学习离散数学的重中之重是对概念的理解。没办法理解和掌握这些抽象的定义和定理，就无法进入状态，老觉得听完课好像没听过，不容易进入学习的状态。因此每学完一个部分都应该对这部分内容进行梳理和总结，争取准确、全面、完整地记住并理解所有的定义和定理。只有这样才能适应本课程的特点，并为后续学习打下良好的基础。
　　 2.2数理逻辑的核心推理理论
　　 2.2.1命题逻辑推理定律（12条）+四条重要的推理规则
　　2.2.3重要推理定律
　　 上节已经非常条理的列出数理逻辑中的核心理论，通过对上述内容的理解和记忆，可以对数理逻辑有个全面的认识和掌握，加强对后续内容学习的信心。