数学的一般理论6 [, R L* V5 P9 \3 S( M
科学 science
) h, {% C7 a: r4 |) T 算术 arithmetic
' Z1 f3 ?* Q a7 g) a6 s/ ` 几何学 geometry( q& x* }: ?+ O( W' e
代数 algebra3 R) e) E2 o9 x, Z+ i& ^# S
微积分 calculus
8 v P+ o& [0 ^: { 解析学 analysis
; {3 z) K& O3 [4 X' g' o& n 概率论 probability theory
' k0 ]& u6 \2 ~- f' w 统计学 statistics- r1 K9 G5 k" i
方法 method
: T3 y# Q0 u; j 分析 analysis
' R9 [2 P1 |$ W$ b4 ?7 J- F 逻辑 logic
2 ^+ j& {8 a! S7 Z0 I 理论 theory+ s. @; P7 M' Q: L* n5 z% L% c, v
定义 definition
/ i8 \9 n& m, H5 M2 P: } 命题 proposition8 }- K3 h& N+ R7 L( T
假说 hypothesis
2 o- J ]3 @( E7 ~ 公理 axiom
0 w2 H# [ u: p R: G" v1 S 要件 postulate7 L) E( U! h' s$ L
定理 theorem
+ L* \- M0 [( U a' ? 证明 proof
- }1 z' t7 x7 J# C 假定 assumption/ z& a ~( A) Q+ M4 G2 q5 f
结论 conclusion
3 X# X( p7 M8 C8 D* v8 \ 证明终止 Q.E.D. (quod erat demonstrundum)
! g, [4 K# ~! W: u 引理 lemma i$ k$ C T9 L; l5 c- M) q
系 corollary8 u! A" J% e' e
反例 counter-example9 E% P) X& g+ P: }% B. w$ \0 Z. a
反证法 reductio ad absurdum
* b0 N5 w7 C8 d- p- j8 w% @ 对偶 contraposition
|6 ]( t+ S+ k6 k4 Q 逆 converse w4 N' t" s( Q' t: z3 T
恒等式 identity
( t/ x' n/ x+ i* t4 Y[此贴子已经被作者于2004-11-19 0:36:49编辑过] | 
IP卡
狗仔卡
发表于 2004-11-18 22:47
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
发表于 2004-12-19 16:44
