吴士珑的BLOG(Shilong Wu)

概念代数

第一篇 概念代数

第二篇集合代数

第三篇逻辑代数

概念代数学第二篇目录

前言 集合代数论

      第一章      集合代数的定义

1.1集合代数的定义

1.2 集合代数中的运算符

1.3 复合运算符的转换

1.4复合运算等价表达式

1.5复合运算等价表达式的证明

1.6 正律定理和理量 υ

1.7 反律定理

1.8    从集合代数中得到经典集合论中的公理

第二章 集合代数的基本运算法则

2.1 运算法则概述

2.2 运算法则证明

2.3 集合方程基本模式

2.4 复合运算的等式转换规则

2.5 复合运算的等式转换规则证明

第三章 集合算式化简

3.1 集合算式化简概述及化简基本公式

3.2 化简基本公式证明

3.3 集合表达式化简

第四章 集合算式运算

4.1求证集合算式恒等

4.2求证集合定律

第五章 集合方程的解法基础

5.1  集合方程一般形式的解法

5.2  集合方程标准模式

5.3          解标准集合方程

第六章 复合运算定理

6.1 集合复合运算定理概述

6.2 集合复合运算定理证明

第七章 复合运算的集合方程

7.1 概述

7.2 解无公共变量的集合表达式组成的集合方程

7.3 由“否定之否定” 律的前提构成的方程

7.4 由“肯定之否定” 律的前提构成的方程

7.5 由“肯定之否定” 律的一个前提和结论构成的方程

7.6 由“肯定之肯定” 律的一个前提和结论构成的方程

7.7 由“否定之否定”律的一个前提和结论构成的方程

第八章 集合定律的推导

8.1 集合定律概述

8.2 集合定律的文字说明

8.3 集合定律的证明