江西农业大学：《数字逻辑》课程教学资源（PPT讲稿）第三章 布尔代数与逻辑函数化简——3.2 逻辑函数的代数法化简 3.2.1 代数法化简

 内容1：布尔代数  内容2：有限布尔代数表示定理

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

1.1 概述 1.2 逻辑代数中的三种基本运算 1.3 逻辑代数的基本公式和常用公式

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

北京大学：《高等代数》课程教学资源（讲义）第十二章 张量积与外代数 12.3 张量 12.3.1 线性变换的张量积的矩阵与线性变换的矩阵的关系

一、余子式与代数余子式 二、行列式按行(列)展开法则 三、小结思考题

北京大学：《高等代数》课程教学资源（讲义）第十二章 张量积与外代数 12.2.2 线性变换的张量积的定义

一、余子式与代数余子式 二、行列式按行(列)展开法则 三、小结思考题

矩阵的基本运算 矩阵的概念 矩阵的转置及对称矩阵 矩阵的分块