离散数学--大纲.docVIP

20、《离散数学》教学大纲 一、《高等代数》课程说明 （一）课程代码：0701013401 （二）课程类别：专业基础课 （三）开课对象：数学与应用数学 （四）先修课 ：数学分析、高等代数。 （五）课程性质： 离散数学虽然是近几十年来产生出的一门新课，就其数学内容来说却不是新的，有些内容甚至是很古典的。随着计算机科学的发展和计算机应用领域的日益广泛，迫切需要适当的数学工具来解决计算机科学各个领域中提出的有关离散量的理论问题，离散数学就是适应这种需要而建立的，它综合了计算机科学中所用到的研究离散量的各个数学课题，并进行系统、全面的论述，从而为研究计算机科学及相关学科提供了有利的理论基础和工具。 （六）教学目的： 离散数学是计算机科学及相关学科的一门非常重要的专业基础课。教学的目的是培养学生的数学思维能力，通过教学，最终使学生能够在众多的概念中要找出最重要的，在众多的定理中找出最根本的，将这些少量的概念和定理能够透彻地理解，自如地运用，就达到了掌握离散数学的教学要求。 （七）教学内容： 朴素集合论、古典数理逻辑、图论、抽象代数学（包括群、环、域、格、布尔代数）。这门课程对提高学生抽象思维、逻辑推理能力，加强学生基础知识、基本理论、基本技能以及培养学生解决实际问题能力等起着重要作用。 （八）教学时数 学时数：36学时 学分数：2学分 教学时数具体分配： 章次 课程内容 课时 备注（教学形式） 1 命题逻辑 12学时 讲授与讨论、习题课、作业、辅导 2 谓词逻辑 8学时 讲授与讨论、习题课、作业、辅导 3 集合与关系 12学时 讲授与讨论、习题课、作业、辅导 4 函数 4学时 讲授与讨论、习题课、作业、辅导 合 计 36学时 （九）教学方式及设施要求 本课程以课堂教学为主，辅以习题选讲和习题课，注重基本概念、基本理论的渗透和抽象思维与逻辑推理方法的培养。学生必须完成一定的作业量。 （十）考核方式和成绩记载说明 考核方式为考试。严格考核学生出勤情况，达到学籍管理规定的旷课量取消考试资格。综合成绩根据平时成绩和期末成绩评定，平时成绩占30% ，期末成绩占70% 。 二、讲授大纲与各章的基本要求 第一章 命题逻辑（12学时） 1.教学内容： 命题及表示、联结词、命题公式与翻译、真值表与等价公式、重言式与蕴涵式、其他联结词、对偶与范式、推理理论。 2.教学目的及要求：深刻理解和掌握命题逻辑中的基本概念和基本方法。 3.教学重点：命题逻辑中的基本概念和基本推理方法。 4.教学难点：推理理论。 第二章 谓词逻辑（8学时） 1.教学内容：所谓词的概念与表示、命题函数与量词、谓词公式与翻译、变量的约束、谓词演算的等价式与蕴涵式、前束范式、谓词演算的推理理论。 2.教学目的及要求：深刻理解和掌握谓词逻辑的基本概念和基本推理方法。 3.教学重点：谓词逻辑中的基本概念和基本推理方法。 4.教学难点：谓词演算的推理理论。 第三章 集合与关系（12学时） 1.教学内容： 集合的概念与表示、集合的运算、包含排斥原理、序偶与笛卡尔积、关系及表示、关系的性质、复合关系和逆关系、关系的闭包运算、集合的划分和覆盖、等价关系与等价类、相容关系、序关系。 2.教学目的及要求：深刻理解和掌握有关集合和关系的基本概念和基本运算。 3.教学重点：关系及关系的运算、等价关系、相容关系、序关系。 4.教学难点：关系的闭包运算、等价关系、等价类。 第四章 函数（4学时） 1.教学内容：函数的概念、逆函数和复合函数、特征函数与模糊子集、基数的概念、可数集与不可数集、基数的比较。 2.教学目的及要求：深刻理解和掌握本章的基本概念。 3.教学重点：逆函数和复合函数、可数集与不可数集的概念。 4.教学难点：基数的概念。 三、使用教材与参考书目 使用教材：吴顺唐等编著《离散数学》，华东师范大学出版社。 参考书目: 1、 张光奇等编著《离散数学》，复旦大学出版社 2、周以铨编著《离散数学讲义》，航空工业出版社 3、张兵山等编《离散数学》，国防科技大学出版社