离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
课程属性:专业基础课
学时/学分:60/2
教学目的和要求:
随着计算机科学的发展,作为支撑学科的《离散数学》变得日益重要。《离散数学》是研究离散量的结构及相互关系的学科,它在计算机科学与技术、软件工程、人工智能、网络及通信等领域有着广泛的应用。作为一门重要的专业基础课程,通过本课程的学习,旨在为学生的专业课学习及今后从事软、硬件开发和应用研究打下坚实的基础,同时培养学生严密的逻辑推理与抽象思维能力。
《离散数学》包括数理逻辑、集合论、代数结构、图论四大部分内容。要求学生对它们的基本概念有较深入的了解,能够系统地掌握命题演算、谓词演算及集合论的主要内容,掌握演译推理的基本方法,熟悉代数的基本概念和定理,掌握图论的基本定理、方法及其应用。
教材:
《离散数学》耿素云 编 高等教育出版社
《离散数学基础》耿素云 屈婉玲 编 北京大学出版社