天津大学离散数学导论课程教学大纲

1、天津大学离散数学导论课程教学大纲课程代码：课程名称：离散数学导论学 时：48学 分：学时分配：授课： 48 上机： 实验： 实践： 实践（周）： 授课学院：计算机学院更新时间：2011-06-13适用专业：计算机科学先修课程：一、课程的性质与目的离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，在计算机科学与技术领域有着广泛的应用。离散数学导论课程是计算机专业的基础课程，是许多专业课程（如离散数学、程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析等）必不可少的先行课程。二、教学基本要求 要求掌握数理逻辑、集合论、图论的基本概念、基本原理和一

2、般应用，培养学生用离散数学的观点去分析解决计算机科学及工程应用中所遇到的问题，培养逻辑推理、抽象思维的能力，培养学生的形式化数学思考观点。三、教学内容（分章节说明，包括实验、实践内容）数理逻辑（共24学时）1命题逻辑目的要求1 理解和掌握命题、联结词的定义2 理解和掌握范式的定义、性质3 理解和掌握推理理论 教学内容与课时（共12学时）1命题的定义、表示（1学时）2联结词的定义、翻译（3学时）3命题公式、蕴含、等价的定义和性质（2学时）4范式的定义和性质（3学时）5命题推理理论（3学时）2 谓词逻辑目的要求1 理解和掌握谓词、量词的定义2 理解和掌握前束范式的定义、性质3 理解和掌握推理理论

3、教学内容与课时（共12学时）1谓词的定义、表示（1学时）2量词的定义、翻译（3学时）3谓词公式、蕴含、等价的定义和性质（2学时）4前束范式的定义和性质（3学时）5谓词推理理论（3学时）四、学时分配教学内容授课上机实验实践实践(周)命题的定义、表示1联结词的定义、翻译3命题公式、蕴含、等价的定义和性质2范式的定义和性质3命题推理理论3谓词的定义、表示1量词的定义、翻译3谓词公式、蕴含、等价的定义和性质2前束范式的定义和性质3谓词推理理论3总计48五、评价与考核方式闭卷笔试六、教材与主要参考资料1 左孝陵等，离散数学，上海科学技术出版社TU Syllabus for Discrete Mathem

4、aticsCode:Title:Introduction to Discrete MathematicsSemester Hours:48Credits:4Semester Hour StructureLecture： 48 Computer Lab： Experiment： Practice： Practice (Week)：Offered by:Computing SchoolDate:13-June-2011for:Dept. of Computer SciencePrerequisite:1. Objective This curriculum teaches the basic di

5、screte mathematical principles (including mathematical logic, set theory and graph theory) underlying computer science and technology. 2. Course Description Mathematical Logic, Set Theory, Graph Theory.3. Topics Mathematical Logic (24 class hours) Propositional Logic Definitions and expressions of P

6、ropositions (1 class hours) Definitions of Connectives, Translation (3 class hours)Propositional formula, implication, equivalence (2 class hours)Definitions and properties of Normal form (3 class hours)Reasoning theory (3 class hours)Predicate Logic Definitions of Predicates (1 class hours) Definit

7、ions of Quantifiers, Translation (3 class hours)Predicate formula, implication, equivalence (2 class hours)Definitions and properties of Prenex Normal Form (3 class hours)Reasoning theory (3 class hours)4. Semester Hour StructureTopicsLectureComputer Lab.ExperimentPracticePractice (Week)Definitions

8、and expressions of Propositions1Definitions of Connectives, Translation3Propositional formula, implication, equivalence2Definitions and properties of Normal form3Propositional Reasoning theory3Definitions of Predicates1Definitions of Quantifiers, Translation3Predicate formula, implication, equivalence2Definitions and properties of Prenex Normal Form3Predicate Reasoning theory3Sum:645. GradingExam