离散数学教学大纲-上海科技大学.pdfVIP

《离散数学》教学大纲 一、课程基本信息 开 课 单 位 信息科学与技术学 课程代码 SI120 （学院） 院 课程名称 离散数学 英文名称 Discrete Mathematics 学 分 4 学 时 64 授课对象 计算机 双语/中文/ 双语 全英文授课 （面向专业） 先修课程 微积分 二、课程简介和教学目的 本课程旨在介绍计算机科学中常见离散结构的基本概念、理论、方法及应用。开 设本课程的目的有二：  培养计算机及相关专业本科生的数学成熟度使得他们能够理解并设计数 学证明；  为计算机专业相关后续课程提供坚实的数学基础。 本课程将覆盖离散数学众多重要分支，例如基本的集合论，数理逻辑（证明技术、 数学归纳），数论 （模算术、同余方程），组合计数（基本计数原理、递推关系、 生成函数），图论 （图和树）和布尔代数 （布尔函数）等。本课程将为诸多后续 课程提供坚实的数学基础。数理逻辑是软件工程、编程语言、人工智能和数据库 理论的主要基础。数学归纳以及一般的证明技术是计算理论、编译器原理、形式 文法等课程的重要工具。组合计数在计算机科学中常被用来分析算法的复杂度并 得到其公式表示。数论及相关算法在现代密码学中起着中心作用。集合、图、树 等离散结构是软件工程的基本工具。 布尔代数主要应用在电路设计中。 三、教学内容、教学方式和学时安排 课堂教学内容 教学进度和学时安排 教学方式 集合、函数、序列、求和、矩阵、 第一周 算法、函数增长速度、复杂度 命题逻辑 第二周 谓词、量词 第三周 推理规则、证明 第四周 数学归纳 第五周 基本计数原理、鸽笼原理、排列和 第六周 组合 二项式系数及相关恒等式、广义置 第七周 换和组合 递推关系 第八周 生成函数、容斥原理 第九周 整除、模算术、整数表示与算法、 第十周 素数、最大公因子 同余方程及其应用 第十一周 图的基本概念、图的同构 第十二周 图的连通性、欧拉路径、哈密尔顿 第十三周 路径 平面图、图的染色 第十四周 树的基本概念 第十五周 布尔函数、逻辑门、电路的极小化 第十六周