《离散数学》教学大纲 (Discrete Mathematics) 基本信息 课程 B1420028 课程 必修。选修口 编号 属性 学分 4 总学时 64 理论 64 上机 学时 0 0 课程 公共基础0综合素质口大类基础口院内平台口专业基础。 类月 专业主千和专业方向特色▣专业任选知顶峰课程知 先修 课程 高等数学，计算机导论 开课 适用 单位 软件工程学院 软件工程 专业 课程负 贵人 易鹏飞 撰写人 易鹏飞 审核人 赵宏伟 二、课程说明 1.课程介绍 本课程主要研究离散对象的数学结构。在数理逻辑入门知识和数学证明方法 基础上，系统地介绍集合、归纳与递归、关系、代数系统、计数与离散概率、图 与树等离散结构的数学模型、基本理论及应用技术。本课程是学习软件工程专业 其它核心课程必须的数学基础课程，是理解数据结构、算法设计与分析、计算模 型等学科分支的必备课程，对培养学生的抽象思维、逻辑推理以及问题求解能力 有重要意义。 通过本课程的学习，学生应该能够对计算机描述的世界进行基本建模并进行 简单的理论推导，包括：基本的离散结构及其特性，以及它们之间的关系：利用 命题逻辑和谓词逻辑的概念、基本理论进行建模的能力。 This course focuses on the mathematical structure of discrete objects.Based on the basic knowledge of mathematical logic and methods of mathematical proof,the mathematical model,basic theories and applied technology of discrete structures such as sets,induction and recursion,relational algebraic system,counting and discrete probability,graph and tree are introduced systematically.This course is a basic course of mathematics necessary for other core courses in software engineering.and it is an essential course to understand the branches of data structure,algorithm design and analysis,computational models,etc.,and it is of great significance to train students' abstract thinking.logical reasoning and problem-solving ability. Through this course.students should be able to model the world described by12 《离散数学》教学大纲 （Discrete Mathematics） 一、基本信息 课程 编号 B1420028 课程 属性 必修■ 选修□ 学分 4 总学时 64 理论 学时 64 上机 学时 0 实验 学时 0 课程 类别 公共基础□ 综合素质□ 大类基础□ 院内平台□ 专业基础■ 专业主干□ 专业方向/特色□ 专业任选□ 顶峰课程□ 先修 课程 高等数学，计算机导论 开课 单位 软件工程学院 适用 专业 软件工程 课程负 责人 易鹏飞 撰写人 易鹏飞 审核人 赵宏伟 二、课程说明 1.课程介绍 本课程主要研究离散对象的数学结构。在数理逻辑入门知识和数学证明方法 基础上，系统地介绍集合、归纳与递归、关系、代数系统、计数与离散概率、图 与树等离散结构的数学模型、基本理论及应用技术。本课程是学习软件工程专业 其它核心课程必须的数学基础课程，是理解数据结构、算法设计与分析、计算模 型等学科分支的必备课程，对培养学生的抽象思维、逻辑推理以及问题求解能力 有重要意义。 通过本课程的学习，学生应该能够对计算机描述的世界进行基本建模并进行 简单的理论推导，包括：基本的离散结构及其特性, 以及它们之间的关系；利用 命题逻辑和谓词逻辑的概念、基本理论进行建模的能力。 This course focuses on the mathematical structure of discrete objects. Based on the basic knowledge of mathematical logic and methods of mathematical proof, the mathematical model, basic theories and applied technology of discrete structures such as sets, induction and recursion, relational algebraic system, counting and discrete probability, graph and tree are introduced systematically. This course is a basic course of mathematics necessary for other core courses in software engineering, and it is an essential course to understand the branches of data structure, algorithm design and analysis, computational models, etc., and it is of great significance to train students' abstract thinking, logical reasoning and problem-solving ability. Through this course, students should be able to model the world described by