《离散数学》-课程教学大纲.docVIP

PAGE PAGE 9 《离散数学》课程教学大纲 英文：《Discrete Mathematics》 一、课程基本信息 课程代码：课程名称： 离散数学 英文名称： Discrete Mathematics 课程类别： 学科基础 学 时： 64 学　　分： 4 适用对象: 计算机实验班、 计算机科学与技术、软件工程 考核方式： 闭卷 先修课程： 无 二、课程简介 中文简介 离散数学主要介绍计算机科学与技术中的基本离散结构，重点是这些结构的数学定义、在计算机科学中广为使用的证明方法及其应用。课程包括的基本内容：数理逻辑初步、证明方法、归纳、良序、集合、关系、图论基础、排列与组合、计数等。课程还包括若干可选内容：递归定义与结构归纳法、状态机与不变式、递归等。 英文简介 Elementary discrete mathematics for computer science and engineering. Emphasis on mathematical definitions and proofs as well as on applicable methods. Topics: formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics such as: recursive definition and structural induction; state machines and invariants; recurrences. 三、课程性质与教学目的 离散数学是计算机类各专业的专业基础课，是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 离散数学课程旨在引导学生掌握如何运用数学模型和方法去分析计算机科学中的问题。重点培养学生用严格的逻辑分析去建模和解决计算类问题。本课程将覆盖现代计算机科学中的若干重要且非常实用的知识点，包括证明方法、良序法则、数理逻辑、集合论、数学归纳法、组合、图论和网络算法等。每一章中都包含了若干有趣的定理、性质、它们的详细证明及一些相对更有挑战性的问题。本课程主要为计算机科学专业学生开设，也可为理工类其它专业学生提供参考。目的是通过本课程的学习给学生未来的学习和工作奠定必要的数学素质。 课程思政 教学中介绍近代数学、计算机科学上伟大科学家的事迹，提炼其伟大思想，为学生提供可以学习的思想楷模。具体见各教学章节。 四、教学内容及要求 Chapter 1: What is a Proof? 目的与要求 教学目的、要求（分掌握、熟悉、了解三个层次）： 掌握： 证明的基本方法 熟悉： 证明的基本概念 了解： 如何欣赏美的证明 教学内容 1.1 Propositions 1.2 Predicates 1.3 The Axiomatic Method 1.4 Our Axioms 1.5 Proving an Implication 1.6 Proving an “If and Only If” 1.7 Proof by Cases 1.8 Proof by Contradiction 1.9 Good Proofs in Practice 教学方法与手段 教学方法及手段（请打√）： 讲授?、讨论?、多媒体讲解?、模型、实物讲解□、挂图讲解□、音像讲解□等。 Chapter 2: The Well Ordering Principle 目的与要求 教学目的、要求（分掌握、熟悉、了解三个层次）： 掌握：良序证明方法 熟悉： 良序集 了解： 良序集的应用 教学内容 2.1 Well Ordering Proofs 2.2 Template for WOP Proofs 2.3 Factoring into Primes 2.4 Well Ordered Sets 教学方法与手段 教学方法及手段（请打√）： 讲授?、讨论?、多媒体讲解?、模型、实物讲解□、挂图讲解□、音像讲解□等。 Chapter 3: Logical Formulas 目的与要求 教学目的、要求（