http://blog.csdn.net/wx782870649/article/details/7034086 概念：设 F 是属性集合 U 上的一个函数依赖集，X ∈ U，称 X+ = { A|A∈U,X → A 由 F 按照 Armstrong 公理系统推导得到 } 为属性集的 x 关于 F....
分类：
其他好文 时间：
2014-10-28 02:05:43
阅读次数：
143
原文链接欧几里得几何学(Euclidean Geometry)两千三百年前，古希腊数学家欧几里得著成了《几何原本》，构建了被后世称为“欧几里得几何学”的研究图形的方法。欧几里得创立了当时颇为独特的公理系统，即首先提出一些显然的、不言自明的公理。比如，他提出了“三角形的内角和一定等于一百八十度”的定理...
分类：
其他好文 时间：
2014-10-12 13:06:48
阅读次数：
293
1. 公理系统 先来看看康托尔对集合的定义：“一个集合是我们知觉中或理智中的、确定的、互不相同的事物的一个汇集，被设想为一个整体”。尽管康托尔本人已经建立起了相当广泛而深刻的集合理论，但对于集合本身的定义却还是含糊的，他的理论被称为“朴素集合论”（Native Set Theory）。虽然试图描述....
分类：
其他好文 时间：
2014-10-11 22:07:16
阅读次数：
255
