6.1 代数结构的定义与例 6.2 代数结构的基本性质 6.3 同态与同构 6.4 同余关系 6.5 商代数 6.6 积代数

我们在前面已经研究过集合,那时没有 过多地考虑一个集合内部元素之间的联 系.现在我们要在一个集合的内部引入 运算,并研究其运算规律,主要内容为:

推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

树是一类结构较为算单的图途极 泛的散数学模型,特别是 它在许算机科学中用得最多因此在学 习时应很好地棠握好诸如树的充要条件 生成树、最优生成根树、树的各 种法

❑主要内容 ❑二元运算及其性质 ⚫ 一元和二元运算定义及其实例 ⚫ 二元运算的性质 ❑代数系统 ⚫ 代数系统定义及其实例 ⚫ 子代数 ⚫ 积代数 ❑代数系统的同态与同构

8.1 半群 8.2 群的定义与性质 8.3 子群 8.4 陪集与拉格朗日定理 8.5 正规子群与商群 8.6 特殊群：循环群与置换群

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题

 归纳  数学归纳法  强数学归纳法  运用良序公理来证明  递归  递归定义  结构归纳法  递归算法

为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容

在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷