- 在线时间
- 9 小时
- 最后登录
- 2011-8-24
- 注册时间
- 2010-12-17
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 123 点
- 威望
- 0 点
- 阅读权限
- 20
- 积分
- 60
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 47
- 主题
- 0
- 精华
- 0
- 分享
- 0
- 好友
- 14
升级   57.89% 该用户从未签到
|
Set 集合 proper subset 真子集$ M8 Z6 `9 ]3 N# [% l
8 b8 E( H) i, k& M/ _, kSet theory 集合论 universal set 泛集
: i' ^" j' {$ G- c1 @# ~! B& m2 ?! t w8 w
Branch 分支 empty set空集 5 n9 f9 o/ [2 `. ~5 T% H5 t
) v2 B9 s/ `% B$ }
Analysis 分析 void set 空集! f+ \) N+ p+ Y8 M* V
# }' ]# M/ X( ^ q; C4 [, `
Geometry 几何学 union 并,并集. Q. M. E" Z2 a6 p2 c4 K* S6 B! Z
/ P+ K) }' b5 y! h
Notation 记号,记法 intersection交,交集
. H5 A1 h- ?/ s8 Z+ G8 \$ l# H2 {1 ~4 A7 v; M. P
Terminology 术语,名词表 complement余,余集5 q& C% e+ Z+ c1 c, D( [1 y) j t
: m# R, f3 t! NLogic 逻辑 relative to相对于. F+ B% x) ^ J# }! P: T
" u+ m% o/ j0 y% s/ m
Logical 逻辑的 finite有限的: r5 ^& b& j2 m ?( ^ h: f4 E
) I9 f6 M, x, }: J u6 o
Systematic 系统的 disjoint不相交% [. l& j$ s; Q6 L
: C X" a0 m+ Y6 D$ {3 cInformal 非正式的 infinite无限的& P# }2 B6 a3 q8 u( ?
" b }: ]8 Y/ j! [3 b
Formal正式的 cardinal number基数,纯数
! l" N: i: u6 }( p, J. o* o- X. U+ {* I; h
Entity 实在物 ordinal number序数
$ G8 _( o: I+ h0 @7 G8 b4 z/ A) x
0 x+ A/ Q& f2 }& J- k; d: i0 z* |Element 元素 generality一般性,通性+ W, a( {' u: ^; K. _) Z* ?
" G+ p5 G& v3 v7 ~* C
Abstract set 抽象集 subset子集
9 k# o2 T" G7 H% }7 P: Z. N! T5 D6 K
Designate 指定, divisible可除的
. l/ v* {2 ~3 k$ S2 q& V) E% j. V* Q; M$ `8 P* ^- w. F9 O- \
Notion 概念 set inclusion 集的包含$ Q# @2 n. D7 Q+ V0 [5 p
0 P7 C' k+ Q! A$ \ U
Braces 大括号 immediate consequence直接结果% V* z/ h1 T3 n. \' x
/ A) S/ _: h: {6 d: U8 a2 gIdentical 恒同的,恒等的" p1 {$ F& p- P" g8 i: l
0 R+ j7 K+ `% n H- t1 o) F8 p
. U+ ]1 U! E. }5 h) a# Y8 {" l ( m2 V# O. A: Z+ _, s7 ?9 c
1 K, y5 A B6 Y
* o) q7 ]) }) P4 E& a* }9 t |
|