1. 理解左、右陪集的定义及性质 2. 理解指数的定义，Lagrange定理 3. 知道有限群的子群的和元素的阶都整除群的阶 4. 理解有限子群乘积的阶同子群阶的关系 5. 知道素数阶群是循环群，知道pq阶群子群情况

上海交通大学：数学科学学院专业课《抽象代数》课程教学大纲

新乡学院：数学与统计学院数学与应用数学专业《抽象代数》课程教学大纲（2012）

运城学院：《抽象代数 Abstract algebra》课程教学资源（数学与应用数学专业人才培养方案，2021版）

运城学院：《抽象代数 Abstract algebra》课程教学资源（教学大纲，2021版）

新乡学院：数学与统计学院数学与应用数学专业《抽象代数》课程教学大纲（2015）

运城学院：《抽象代数 Abstract algebra》课程教学资源（教学大纲，2014版）

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

关系模型的重要部分是关系操纵,关系 代数是一种抽象的查询语言,是关系数 据操纵语言的一种传统表达方式,它是 用对关系的运算来表达查询的。利用关 系代数可以演示一个查询语言从关系数 据库系统中检索信息的潜力,可以用最 简单的形式来表达所有关系数据库查询 语言必须完成的运算的集合,这些基本 的运算对解释标准查询语言SQL如何被执 行很有帮助,同时也有利于培养关系运 算的思维能力

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统