摘要：
IE不能打开网页,QQ可以用,Firefox可上网可能意外设置了代理服务器，启动IE--“工具”菜单--“Internet选项”--连接选项卡--“连接”--“局域网设置”--去掉代理服务器前面的勾，确定。 阅读全文
posted @ 2011-03-22 22:35
emanlee
阅读(425)
评论(0)
推荐(0)
摘要：
标准化表示从你的数据存储中移去数据冗余(redundancy)的过程。如果数据库设计达到了完全的标准化，则把所有的表通过关键字连接在一起时，不会出现任何数据的复本(repetition)。标准化的优点是明显的，它避免了数据冗余，自然就节省了空间，也对数据的一致性(consistency) 提供了根本的保障，杜绝了数据不一致的现象，同时也提高了效率。 第一范式（1NF; The First Norm... 阅读全文
posted @ 2011-03-10 22:25
emanlee
阅读(732)
评论(0)
推荐(0)
摘要：
在数学中，给定一个集合 A 和在 A 上的一个等价关系 R，则 A 中的一个元素 a 的等价类是在 A 中等价于 a 的所有元素的子集: [a]={x∈A|xRa}。 等价类的概念有助于从已经构造了的集合构造集合。在 A 中的给定等价关系R 的所有等价类的集合表示为 A/R 并叫做 A 除以 R 的商集。 这种运算可以(实际上非常不正式的)被认为是输入集合除以等价关系的活动，所以名字“商”和这种记... 阅读全文
posted @ 2011-02-07 12:02
emanlee
阅读(1753)
评论(0)
推荐(0)
摘要：
在数学中，一个集合被称为在某个运算下闭合，如果在这个集合的成员上的运算生成这个集合的成员。例如，实数在减法下闭合，但自然数不行: 自然数 3 和 7 的减法 3 - 7 的结果不是自然数。 类似的，一个集合被称为在某些运算的搜集下闭合，如果它单独的闭合在每个运算之下。 一个集合闭合在某个运算或某些运算的搜集下被称为满足闭包性质。闭包性质经常作为公理，通常叫做闭包公理。注意现代集合论定义通常定义运算... 阅读全文
posted @ 2011-02-05 19:13
emanlee
阅读(3991)
评论(0)
推荐(0)
摘要：
术语格(lattice)来源于描述这种次序的哈斯图的形状。 序理论定义 考虑偏序集合(L，≤)。L 是一个格，如果 对于 L 的所有元素 x 和 y，集合 {x, y} 有在 L 中的最小上界（并或上确界）和在 L 中的最大下界（交或下确界）二者。 x 与 y 的并和交分别被指示为∨和∧。因为假定并和交存在于格中，∨和∧是二元运算。所以这个定义等价于要求 L 是并半格和交半格二者。 有界格有一个最大元素和一个最小元素，按惯例分别指示为 1 和 0（也叫做顶和底）。任何格都可以通过增加一个最大元素和最小元素而转换成有界格。 使用容易的归纳论证，你可以演绎出任何格的所有非空有限子集的上确界（并）和 阅读全文
posted @ 2011-01-31 21:29
emanlee
阅读(1241)
评论(0)
推荐(0)
摘要：
集合P上的一个二元关系≤称为拟序关系（quasi-order）（有时我们也称为预序关系（preorder））： 若该二元关系满足如下条件： 1.自反性：a ≤ a，对于P中任意的元a(reflexivity)； 2.传递性: 若 a ≤ b 且 b ≤ c 则 a ≤ c ，这里的 a,b,c 为P中的元(transitivity). 满足反对称性的拟序关系就称为偏序关系。 在数学中，预序关系（简... 阅读全文
posted @ 2011-01-31 18:35
emanlee
阅读(6028)
评论(0)
推荐(0)
摘要：
在数学中，在集合 S 上的良序关系(或良序)是在 S 上的线序关系(全序关系)，并带有 S 的所有非空子集都有在这个次序下的最小元素的性质。等价的说，良序是良基的线序。集合 S 和这个良序关系一起就叫做良序集合。 粗略的说，良序集合是以如下方式排序的，它的元素可以一次只依次考虑一个，而在还没有检查完所有的元素的任何时候，总是有一个唯一的下一个元素要考虑。 例子 自然数的标准排序 ≤ 是良序的。 整... 阅读全文
posted @ 2011-01-31 18:27
emanlee
阅读(6382)
评论(0)
推荐(0)
摘要：
在数学中，集合 X 上的全序、线性序、简单序，或(非严格)排序是在 X 上的反对称的、传递的和完全的任何二元关系。这意味着如果我们把这种关系指示为 ≤ 则下列陈述对于 X 中的所有 a, b 和 c 成立: 如果 a ≤ b 且 b ≤ a 则 a = b (反对称性) 如果 a ≤ b 且 b ≤ c 则 a ≤ c (传递性) a ≤ b 或 b ≤ a (完全性) ... 阅读全文
posted @ 2011-01-31 15:59
emanlee
阅读(6972)
评论(0)
推荐(0)
摘要：
在数学中，特别是序理论中，偏序集合(简写为 poset)是配备了偏序关系的集合。这个关系形式化了排序、顺序或排列这个集合的元素的直觉概念。这种排序不必然需要是全部的，就是说不需要但也可以保证在这个集合内的所有对象的相互可比较性。(在数学用法中，全序是一种偏序)。偏序集合定义了偏序拓扑。 例子 下面是一些主要的例子: * 自然数的集合配备了它的自然次序(小于等于关系)。这个偏序是全序。 ... 阅读全文
posted @ 2011-01-31 15:50
emanlee
阅读(9631)
评论(0)
推荐(0)
摘要：
《离散数学》双语专业词汇表 set：集合 subset：子集 element, member：成员，元素 well-defined： 良定，完全确定 brace：花括号 representation：表示 sensible： 有意义的 rational number：有理数 empty set：空集 Venn diagram：文氏图 contain(in)：包含（于） universa... 阅读全文
posted @ 2011-01-31 15:46
emanlee
阅读(8800)
评论(0)
推荐(0)
浙公网安备 33010602011771号