1) set theory
集合论
1.
Analysis of loop invariants in terms of set theory;
从集合论的角度分析循环不变式
2.
Discussion the relationship between geometry and set theory;
论几何学与集合论的相似关系
3.
Cantor s two mistakes in set theory;
康托在集合论中的两个失误
2) Set theoretical paradox
集合论悖论
1.
In the history of mathematics,the most famous paradoxes are Pythagoras paradox,Berkeleia paradox,Set theoretical paradox.
在数学发展史中,最著名的3个悖论分别是"毕达哥拉斯悖论"、"贝克莱悖论"、"集合论悖论",悖论对数学发展起着巨大的推动作用。
3) set theory
集合理论
1.
On characteristic of modern mode of thinking from development of set theory;
从集合理论的发展看现代思维方式的特征
2.
The attribute union concept based on the set theory and the attribute reduced algorithm based on this concept were presented.
基于集合理论,提出了关系积概念和基于关系积的属性约简算法,把决策表的属性约简过程转化为关系积的运算,减小了对决策表的扫描次数,提高了属性约简的效率;算法采用自底向上和宽度优先的搜索策略,可确保找到最小属性约简集。
4) Cantor's set theory
Cantor集合论
5) set theoretic antinomy
集合悖论
6) fuzzy set theory
模糊集合论
1.
Agent Coalition Generation Based on Fuzzy Set Theory;
基于模糊集合论的Agent联盟生成
2.
Research and Application of Technics Route Decision-making Model Based on Fuzzy Set Theory;
基于模糊集合论的工艺路线决策模型研究及应用
3.
A Method of Gesture Segmentation Based on Fuzzy Set Theory;
一种基于模糊集合论的手势分割算法
补充资料：集合论
| 集合论 set theory 以一般集合为研究对象的一个数学分支。由于数学的大多数分支所研究的对象或者可以看成某种特定结构的集合 ，或者可以通过集合来定义，因此集合论的基本概念已渗透到数学的几乎一切领域，从而可以说集合论已是整个现代数学的基础。 集合论是在19世纪末由德国数学家G.康托尔创立的 。它的发展可分为两个阶段：1908 年以前称为朴素集合论 ；1908年以后称为公理集合论。康托尔于1874年超越数集的局限 ，首先建立起一般性的集合概念 。康托尔的重大成就在于对无穷集的研究，为了刻画无穷集所含元素的数量，康托尔引进集合的基数（势）的概念，元素间能建立一一对应的集合称为等基数（等势）集，于是基数便是可以建立一一对应的集合类的抽象，反映这类集合的共同的数量特征。有限集的基数就是通常意义下的“个数”即自然数，无限集的基数是“个数”概念的推广，康托尔证明了有理数集是可数集（即能与自然数集建立一一对应）之后，又意外地发现实数集是不可数集，并给出了证明，这个事实说明实数集和有理数集的基数是不同的，从而揭示了无穷集之间在元数数量上存在着层次的差别，把有限集大小的概念推广到无穷集 ，还可以比较任意两个基数的大小，康托尔证明了任一集合A的基数  小于它的幂集P（A）的基数 ，即 ＜ ，对于自然数集N，就有 。再做P（N）的幂集，就有 ＜ ＜ ，不断做下去，就得到一个基数序列 ，这就是说在所有无穷集之间还存在着无穷多个层次。除此以外，为了描绘任一良序集的结构，康托尔还建立了序数概念，将用来编序的自然数（第一、第二、第三、…）加以推广 ，利用序数可以把良序集编号，进而把数学归纳法推广到自然数以外去。康托尔对无穷集的研究成果对数学的发展产生了深远的影响。在1900年前后，由于集合论本身的不够协调而相继地产生了一些悖论 ，使集合论受到非难 。按照集合论的观点，一切集合构成一个集合V，集合V 的基数不应小于任何其他集合的基数，但是根据康托尔定理，却必须小于幂集 P（V）的基数，这就自相矛盾（康托尔悖论，1899年)。又如，把所有不属于自身（即不包含自身作为元素）的集合组成一个集合R，问R是否属于R？如果说R属于R，那么R满足R 的定义，R不属于自身，即R不属于R；如果说R不属于R，那么R 不满足定义，即R应属于自身，那么R属于R。无论怎么说，都自相矛盾（罗素悖论，1903年）。在各种悖论中的罗素悖论最为简明，只涉及属于、不属于两个概念，引起了数学界的震惊。悖论的出现使人们对集合论产生了怀疑，甚至对整个数学推理的正确性也产生了疑问，这就动摇了数学的基础，触发了数学史上的第三次危机。经过数学家们潜心研究，认识到悖论产生的原因在于康托尔原来的集合定义是不严格的 ，按照原来的定义，不能否认“所有集合组成的集合”也是一个集合，也不能排除满足条件“不包含自己作为元素的集合”的事物构成一个集合，可见，为了避免悖论，必须对集合的定义加以严格的限制。 康托尔集合论中的集合，作为一个原始概念，很难对它的定义给出适当的限制使得避免悖论而又保留集合论中一切有价值的东西。数学家们经过一番努力之后，终于放弃直接提出集合的定义 ，而选择了公理化方法 ，重新整理集合论。1908 年E.F.F.策梅洛提出了一个公理化的方案，其公理系统以集合和属于为仅有的两个不加定义的原始概念，其余有外延公理、空集存在公理、无序对集合存在公理、并集公理、幂集公理、无穷公理、分离公理、选择公理等。后来经过A.A.弗伦克尔和 A.T.斯科朗的改进，又补充了替换公理和正则公理，通称ZF公理系统，ZF公理系统集合论，对于排除康托尔朴素集合论的悖论和继承原有成果是相当成功的。除ZF公理系统外，还有多种其他系统，如1925～1937年形成的J.冯·诺伊曼、P.贝尔奈斯、K.哥德尔的公理系统，称为NBG 公理系统。无论哪种公理系统，都使朴素集合论得到严格处理，避免悖论，保留一切有价值的东西，使集合论进入一个更新的发展阶段。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条