第九章 天津大学《离散数学导论》课程教学大纲.doc

天津大学《离散数学导论》课程教学大纲 课程代码： 2160239 课程名称： 离散数学导论 学 时： 48 学 分： 学时分配： 授课： 48 上机： 实验： 实践： 实践（周）： 授课学院： 计算机学院 更新时间： 2011-06-13 适用专业： 计算机科学 先修课程： 一、课程的性质与目的 离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支在计算机科学与技术领域有着广泛的应用是许多专业课程如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析等必不可少的先行课程。 授课 上机 实验 实践 实践(周) 命题的定义、表示 1 　 　 　 　 联结词的定义、翻译 3 　 　 　 　 命题公式、蕴含、等价的定义和性质 2 　 　 　 　 范式的定义和性质 3 　 　 　 　 命题推理理论 3 　 　 　 　 谓词的定义、表示 　1 　 　 　 　 量词的定义、翻译 　3 　 　 　 　 谓词公式、蕴含、等价的定义和性质 　2 　 　 　 　 前束范式的定义和性质 　3 　 　 　 　 谓词推理理论 　3 　 　 　 　 总计 48 五、评价与考核方式 闭卷笔试 六、教材与主要参考资料 1 左孝陵等，《离散数学》，上海科学技术出版社 TU Syllabus for Discrete Mathematics Code: 2160239 Title: Introduction to Discrete Mathematics Semester Hours: 48 Credits: 4 Semester Hour Structure Lecture： 48 Computer Lab： Experiment： Practice： Practice (Week)： Offered by: Computing School Date: 13-June-2011 for: Dept. of Computer Science Prerequisite: 1. Objective This curriculum teaches the basic discrete 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 Propositions (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) Definitions 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 Structure Topics Lecture Computer Lab. Experiment Practice Practice (Week) De