| 基本集合运算法则的形式化推导 |
| |
| 引用本文： | 施恩伟,何瑶.基本集合运算法则的形式化推导[J].曲靖师范学院学报,1990(1). |
| |
| 作者姓名： | 施恩伟 何瑶 |
| |
| 作者单位： | 云南师大数学系
(施恩伟)，云南师大数学系(何瑶) |
| |
| 摘 要： | 众多数学分支都要用到集合论的基本知识,集合的运算法则对于数学的许多分支来讲都是必要的。本文是从几条明显而又极易验证的法则出发,推演出集合运算的其他法则,方法独特,趣味盎然。
|
| 关 键 词： | 交换律 结合律 吸收律 分配律 格 |
The Formal Deduction of the Operation Rules for Basic Sets |
| |
| Shi En Wei and He yao.The Formal Deduction of the Operation Rules for Basic Sets[J].Journal of Qujing Normal College,1990(1). |
| |
| Authors: | Shi En Wei and He yao |
| |
| Institution: | yun Nan Normal University |
| |
| Abstract: | Basic knowledge of the set theory is always used in many brancghcs of mathematics, The operation rules of set are necessary ofr many branches of mathematics The article deduces some others of the set operation according to several obvious and easily vcrifiedrules.It is a special and purport aeticle. |
| |
| Keywords: | Commutative law Assooiative law Absorptive law Distributive law Lattice |
| 本文献已被 CNKI 等数据库收录！ |
