离散数学—智慧树网

离散数学

工学 (08)/计算机类 (0809)

课程介绍申请学校选课

计算机理论的模型是图灵机，图灵机是一个离散模型。计算机能解决的各种问题，是将这些问题转换成了一个离散模型。而离散数学正是讨论如何建立离散模型的语言。
        离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用。它是计算机类专业的专业基础课，是数据结构与算法、算法设计与分析、编译原理、计算机网络、数据库原理、计算机组成原理等课程的先导课程，为这些后继的专业课提供必要的数学工具，为描述离散模型提供数学语言。
        通过离散数学课程的学习，我们将学到如何将自然语言符号化，通过符号化进一步完成运算和推理(数理逻辑)；如何描述事物间的关系，这些关系有何性质（集合论）；如何用图来描述刻画常见问题，图的结构又有何特点（图论）；运算到底是什么，我们定义的各种运算有何特点性质（代数系统）。
        本课程教学设计以计算思维能力培养为导向，按照培养专业的工程应用型人才的需要制定。主要培养学生的抽象思维和逻辑推理能力，使学生正确地理解概念，正确地使用概念进行推理，养成良好的思维习惯，理解理论与实践的关系，提高分析问题和解决问题的能力，提高数学修养及计算机科学素质。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
        学习离散数学，实际是在进一步学习数学这门语言，学好它，我们可以更好的描述刻画周边的世界。