离散数学

课程编号：34122223

课程名称(中文)：离散数学

课程名称(英文)：Discrete Mathematics

学分数/开课学期：4/3

课程类别：专业课必修

面向专业：信息与计算科学

课程负责人：陈泽鹏

课程内容简介(中文)：

离散数学是现代数学的一个重要分支，是计算机科学中的基础理论核心课程，它研究世界事物间的离散结构和相互关系。它对于学习计算机的理论和实践，是一门不可少的学科。其目的是使学生能掌握各种离散结构事物的描述工具和方法，训练学生严密思维方法和严格证明的推理能力，以适应学习其它课程的需要。它的主要内容包括数理逻辑、集合论、代数结构和图论。数理逻辑主要是公式的演算和证明。集合论主要是关系理论和映射的描述。代数结构主要从系统宏观的代数方法去研究客观事物的各种性质与特征。图论则是着重于数形结合的描述及各种实际应用。

课程内容简介(英文)：

Discrete mathematics is an important branch of modern mathematics. It is the fundamental course of computing science. It analyzes the discrete structure and relationship among things in the world. As one of the bases of computation theory, it helps the students to understand various discrete structures and obtain necessary methodology for further study of computing science.

This course involves mathematic logic, theory of set, algebraic system and the theory of graph. Mathematic logic mainly deals with deduction and operation of formula. The theory of set describes the relationship and mapping of various elements. The algebraic system uses the method of algebra to study the properties and characteristics of various things in the world. The theory of graph investigates the combination of number and graphs as well various applications.