1. 公理系统 先来看看康托尔对集合的定义：“一个集合是我们知觉中或理智中的、确定的、互不相同的事物的一个汇集，被设想为一个整体”。尽管康托尔本人已经建立起了相当广泛而深刻的集合理论，但对于集合本身的定义却还是含糊的，他的理论被称为“朴素集合论”（Native Set Theory）。虽然试图描述....
分类：
其他好文 时间：
2014-10-11 22:07:16
阅读次数：
255
"不就是集合吗？高中就学过了。小样，别以为加个“论”字我就不认识你！"在我们的印象中，集合一直是数学的基础语言，任何一个分支都是由集合定义起的。殊不知，这一状况其实才几十年时间，集合论（Set Theory）的诞生也才一百年左右。你可能更没想到，集合论起始于对无穷的探索和思考，它还掀起了崭新的学.....
分类：
其他好文 时间：
2014-10-11 15:22:55
阅读次数：
221
渐近符号Θ记号Θ(g(n))={f(n):存在正常量c1,c2和n0，使得对所有n>=n0,都有0=n0,有0<=f(n)<=cg(n)}重点：1.Θ记号渐近地给出了函数的上限和下限。当只有一个渐近上界时，使用O记号2.按照集合论的写法，Θ(g(n))是O(g(n))的子集3.当我们说运行时间为O(...
分类：
其他好文 时间：
2014-10-09 15:46:14
阅读次数：
158
Reading快读完深入理解计算机系统线性代数离散数学久/难度大/刚入门Ansi Common Lisp算法竞赛入门经典形式语言与自动机原理数电, 模电单片机计算机组成: 结构化方法初等数论To Read算法算法导论数学集合论组合数学具体数学语义学可计算性理论Programming Language...
分类：
其他好文 时间：
2014-10-07 23:02:14
阅读次数：
270
数学基础数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为真?目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。实际上，几乎所有现在的数学定理都可以表述为集合论下的定理。在这...
分类：
其他好文 时间：
2014-10-03 00:28:33
阅读次数：
327
2734: [HNOI2012]集合选数Time Limit:10 SecMemory Limit:128 MBSubmit:505Solved:287[Submit][Status]Description《集合论与图论》这门课程有一道作业题，要求同学们求出{1, 2, 3, 4, 5}的所有满足以...
分类：
其他好文 时间：
2014-08-28 22:21:36
阅读次数：
264
0是一个神奇的数字，这里简单介绍一些关于0的特点和性质。
0的性质：
*0是否属于自然数仍有争议，数论领域认为0不属于自然数，集合论和计算机科学领域认为0属于自然数。国际标准ISO 31-11:1992中，从集合论角度规定：符号N所表示的自然数包括正整数和0。中国国家标准GB 3102-1993参照国际标准作出同样规定。
*0是平方数。...
分类：
其他好文 时间：
2014-08-25 17:05:11
阅读次数：
405
前言说到集合就不得不提到康拓，虽说集合论对现代数学有着非常大的影响，但总是对他的无限集的理论有一些疑问（不知道是不是叫无限集，反正我是这么叫）。最简单的例子就是一个平面上点的数量与一条直线上点的数量一样多（这是人第一次听到都会觉得不对吧）。该问题普遍的解释一般是说这两者的元素之间有一一对应的关系（好...
分类：
其他好文 时间：
2014-08-23 22:49:21
阅读次数：
296
在集合论中，两个集合(集合A和集合B)的并集是一个包含集合A和B中所有元素的集合。换句话说，如果一个元素属于任何一个输入集合，那么它也属于结果集。如图所示。UNION集合运算分为UNION ALL和UNION DISTINCT两种情形，它们的区别是UNION ALL会保留重复行，而UNION D.....
分类：
其他好文 时间：
2014-07-26 01:02:36
阅读次数：
213
在集合论中，集合A与B的差集（A-B）是由属于集合A,但不属于集合B的元素组成的集合。可以认为两个集合的差A-B就是从A中减去B中也属于A的元素。在T-SQL中，集合之差是用EXCEPT集合运算实现的。EXCEPT运算对两个输入查询的结果集进行操作，返回出现在第一个结果集中，但不出现在第二个结果集中...
分类：
其他好文 时间：
2014-05-19 19:08:31
阅读次数：
262
