中国海洋大学集合论与代数结构课程大纲（理论课程）.doc

中国海洋大学 集合论与代数结构 课程大纲（理论课程） 英文名称：Set Theory and Algebra Structures 【开课单位】 信息学院计算机系 【课程模块】 学科基础 【课程编号】 080502101301 【课程类别】 必修 【学时数 】 48 （理论） 【学分数 】 3 一、课程描述 本课程大纲根据2011年本科人才培养方案进行修订或制定。 （一）教学对象：计算机科学与技术专业全日制本科生 （二）教学目标及修读要求 1、教学目标（课程结束后学生在知识、技能和态度三个层面达到的目标） 知识层面：学生掌握集合论与代数结构的理论知识和证明方法，明确集合，关系，代数结构（重点是群）的相关概念，性质，及在实际问题中的应用。构建相对完整的集合 论与代数结构的理论框架。 技能层面：为实际问题的数学建模提供理论化描述方法，为算法设计提供具体指导，为编程实现提供复杂度分析工具。 态度层面：培养学生在理论研究和工程应用中严谨的数学推理证明的态度。 2、修读要求（简要说明课程的性质，与其他专业课程群的关系，学生应具备的基本专业素质和技能等） 课程性质：《》专业的基础课程之一，。 与其他课程群的关系：本课程隶属于计算机科学与技术专业的知识工程与软件工程课程群，是本专业学科基础课程《图论》的先修课程，是软件工程方向课程群，嵌入式系统方向课程群，数字媒体技术方向课程群和网络与信息安全方向课程群中《数理逻辑》，《现代密码学理论与实践》的先修课程。 学生应具备的基本专业素质和技能等：通过本课程的学习，重点培养学生的数学逻辑推理能力，建模能力和解决问题的能力。通过集合论和二元关系可以对现实问题进行数学描述和性质分析，代数结构包括非空载体及载体上的运算，不同类型的代数结构在密码学，信息安全，数据结构与算法，数理逻辑等方面有重要应用。学生应该掌握集合论和代数结构的理论知识，并对实际问题进行建模求解。 （三）先修课程（参照2011版人才培养方案中的课程名称，课程名称要准确） 高等数学 Ⅰ2 二、教学内容 （一）第一章 集合 1、主要内容：数理逻辑和谓词逻辑基础，集合概念和集合间的关系，集合运算，集合基本恒等式。 2、教学要求： （按照掌握、理解、了解三个层次对课程内容提出要求） 掌握： 命题逻辑和谓词逻辑的基本知识，正确表示集合，以及集合相等和包含等，集合的基本运算,证明集合恒等式或包含关系的方法,关系的定义域、值域、逆、合成、限制、像的计算方法。 理解：集合恒等式或包含关系的证明思路。 了解：命题逻辑和谓词逻辑的基本概念和推理过程。 3、重点和难点 重点：集合表示方式，以及集合恒等式或包含式，关系的定义域、值域、逆、合成、限制、像的计算方法。 难点：证明集合恒等式或包含关系的方法, 4、其它教学环节：（如实验、习题课、讨论课、其它实践活动）： 习题课和讨论课： （二）第二章 二元关系 1、主要内容：集合的基本概念和运算，关系的表示与性质，关系幂运算和闭包运算，等价关系和序关系。 2、教学要求： （按照掌握、理解、了解三个层次对课程内容提出要求） 掌握：熟练掌握二元关系的多种表示方法，熟练掌握判断关系五种性质的方法，能证明关系的性质。熟练掌握关系的幂、闭包的计算方法;能够证明含有关系运算的集合恒等式; 掌握等价关系的等价类、商集、偏序关系的哈斯图及特定元素。 理解：深刻理解等价关系、等价类、商集、划分、偏序关系、偏序集、哈斯图、偏序集中的特定元素等概念。 了解：序关系的实际应用。 3、重点和难点 重点：二元关系的表示方法，关系性质的判断，关系幂和闭包的求法，关系等价类，商集、偏序关系的哈斯图及特定元素的确定。 难点：证明含有关系运算的集合恒等式 4、其它教学环节：（如实验、习题课、讨论课、其它实践活动）： 习题课和讨论课： （三）第三章 函数 1、主要内容： 函数的概念，函数的性质。 2、教学要求： （按照掌握、理解、了解三个层次对课程内容提出要求） 掌握：熟练掌握判断和证明函数单射、满射、双射性质的方法。掌握函数合成和反函数。 理解：理解函数、集合A 到B 的函数、BA、函数的像、完全原像的概念。 了解：构造双射函数的证明方法，了解合成函数的性质。 3、重点和难点 重点：判断和证明函数单（满，双）射性质的方法，求函数合成和反函数。 难点：构造双射函数及合成函数的性质 4、其它教学环节：（如实验、习题课、讨论课、其它实践活动）： 习题课和讨论课： （四）第四章 自然数； 第五章 基数 1、主要内容