1 矩阵及其初等变换 2 消元法

第一节 映射与函数 二、映射 三、函数 一、集合 第二节 数列的极限 二 、收敛数列的性质 三 、极限存在准则 一、数列极限的定义

吉林大学：工科数学课程PPT教学课件（概率论与数理统计，主讲：李金玉）

§1 图的基本概念 §2 路与回路 §3 图的矩阵表示 §4 欧拉图和汉密尔顿图 §5 平面图 §6 树与生成树

§1格的概念 §2分配格 §3有补格 §4*布尔代数

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

函数是二元关系中特殊的一类，也就是说，函数是一种特定类型的二元关系。本章讨论的是离散函数，它能把一个有穷集合变换到另一个有穷集合。 §1 函数的概念 §2 逆函数和复合函数 §3 基数的概念 §4* 可数集与不可数集

集合论是研究集合的一般性质的数学分支，它研究集合不依赖于组成它的事物的特性的性质。在现代数学中，每个对象（如数、函数等）本质上都是集合，都可以用某种集合来定义。数学的各个分支，本质上都是在研究这种或那种对象的集合的性质。集合论已成为全部现代数学的理论基础。集合论的特点是研究对象的广泛性。它总结出由各种对象构成的集合的共同性质，并用统一的方法来处理。因此，集合论被广泛地应用于各种科学和技术领域。 §1集合的概念和表示法 §2集合的运算 §3序偶与笛卡尔积 §4关系及其表示 §5关系的性质 §6复合关系和逆关系 §7关系的闭包运算 §8集合的划分和覆盖 §9等价关系与等价类 §10相容关系 §11序关系

◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法