中山大学计算机学院离散数学基础教学大纲（2019）.docVIP

中山大学 本 科 教 学 大 纲 Undergraduate Course Syllabus 学院（系）： 数据科学与计算机学院 School (Department)： School of Data and Computer Science 课程名称： 离散数学基础 Course Title： Discrete Mathematics 二〇二〇年 离散数学 教学大纲 Course Syllabus: Discreate Mathematics （编写日期：2020 年 12 月）(Date: 19/12/2020) 一、课程基本说明I. Basic Information 课程名称：（中文） 离散数学基础 （英文） Discrete Mathematics Course Title: Chinese English 课程性质 Course Type 必修 Required Course 课程编码 Course Code DCS106 学分 Credits 4 授课学时 Class Hours 72 主讲教师 （职称） Instructor (Title) 开课单位 Offered By 数据科学与计算机学院 SDCS 面向专业 Target Students 计算机科学与技术 Computer Science and Technology/信息安全 Information Security/智能科学与技术 Intelligence Science and Technology/软件工程 Software Engineering/信息与计算科学 Information and Computing Science 授课年级 Year of Students 一年级 Freshman 先修课程 Prerequisite Course(s) 无 None 课程目的与 教学基本要求 Course Objective and Requirements 课程的主要目的包括：(1) 让学生掌握离散数学的核心内容，并具备使用离散数学语言对问题建模的能力；(2) 为后续计算机学科课程构建离散数学基础；(3) 提高学生数学素养，增强学生的逻辑思维、关系思维、量化思维、计算思维和递归思维能力，培养学生的离散化、模块化、层次化、系统化、公理化专业意识。 具体来说，本课程教学应使得学生熟练掌握有关集合、函数、关系、图、树和代数系统等离散结构基本知识，掌握有关逻辑和证明的基本技巧和方法，掌握有关计数的基本知识，理解并能初步运用离散结构进行问题建模和求解，了解算法及其分析的基本方法。 The course aims to help students: (1) to learn the fundamental mathematical concepts and results in discrete mathematics; (2) to lay the mathematical foundations for successive computer science courses; and (3) to understanding logical, relational, quantificational, computational and recursive thinking, and to develop professional awareness on discretization, modularization, abstract layer, systematizion and axiomatization. In detail, after studying the course, students should: (1) master fundamental definitions and results on sets, relations, graphs and trees; (2) understand propositional and predicate logics, know the basic skills of mathematic reasoning; (3) grasp the basic knowledge on counting techniques; (4) know how to use discrete structures to modelling application problems; and (5) know how to write and analysis simple algorithms.