《××××》教学大纲-天津大学计算机学院.doc

天津大学《离散数学导论》课程教学大纲 课程代码： 2160239 课程名称： 离散数学导论 学 时： 48 学 分： 学时分配： 授课： 48 上机： 实验： 实践： 实践（周）： 授课学院： 计算机学院 更新时间： 2011-06-13 适用专业： 计算机科学 先修课程： 一、课程的性质与目的 离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支，在计算机科学与技术领域有着广泛的应用。离散数学导论课程是计算机专业的基础课程，是许多专业课程（如离散数学、程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析等）必不可少的先行课程。 二、教学基本要求 要求掌握数理逻辑、集合论、图论的基本概念、基本原理和一般应用，培养学生用离散数学的观点去分析解决计算机科学及工程应用中所遇到的问题，培养逻辑推理、抽象思维的能力，培养学生的形式化数学思考观点。 三、教学内容（分章节说明，包括实验、实践内容） 数理逻辑（共24学时） 1命题逻辑 [目的要求] 1． 理解和掌握命题、联结词的定义 2． 理解和掌握范式的定义、性质 3． 理解和掌握推理理论 [教学内容与课时]（共12学时） 1．命题的定义、表示（1学时） 2．联结词的定义、翻译（3学时） 3．命题公式、蕴含、等价的定义和性质（2学时） 4．范式的定义和性