数学的一般理论
" `% g* Y# K# U2 k- ^4 q/ E 科学 science- m, b0 g% Y' U4 p% [
算术 arithmetic6 _* k; H) ~( `. t" x. N( V, X: a
几何学 geometry
9 ^7 G1 y2 V3 s: e 代数 algebra4 z3 V) Q. d# a! F9 A5 b, V
微积分 calculus4 W, `: ~8 {9 X
解析学 analysis, T1 C1 g2 t+ @+ N6 n4 {
概率论 probability theory
% y1 J6 p! Z8 k$ M2 @' L3 U4 y+ K 统计学 statistics! ]: q8 O5 x4 j+ P
方法 method2 @4 v& y# e }
分析 analysis4 ]# I) ^! [' h
逻辑 logic' x6 F+ `; Z9 a' e. A7 o" J
理论 theory
- C8 X4 c5 m: { 定义 definition
; ~2 L8 |! u2 k# n 命题 proposition) r, k' C: r7 R
假说 hypothesis5 i: _) b6 ~( A
公理 axiom) n2 L* s8 G. `9 r2 L, Y5 G. y
要件 postulate5 b4 I; N; k* z- `8 o- Y
定理 theorem+ G/ O+ s& }3 K" q% h9 E
证明 proof$ W/ r# `; _% F$ n& _) `- y
假定 assumption
9 t- @0 m! V) e2 m9 R! b 结论 conclusion! a: k$ i) e; ]2 y, h0 _+ E
证明终止 Q.E.D. (quod erat demonstrundum)' ?# D+ c' b* R8 l5 |( I. B) @
引理 lemma
: R7 S" B0 B2 n 系 corollary
& {- J) l& q8 p4 A3 K1 a 反例 counter-example5 c; O& `% [5 h! u5 \* X; ]: F
反证法 reductio ad absurdum. l8 u# a" m {( s2 H4 i2 @& w
对偶 contraposition# S, }. T9 m4 q q5 G
逆 converse7 B6 u% n4 [- F4 F
恒等式 identity- T- U% I* c3 G! W4 b- n ?0 r* C
[此贴子已经被作者于2004-11-19 0:36:49编辑过] | 
IP卡
狗仔卡
发表于 2004-11-18 22:47
转播
淘帖
分享
收藏
支持
反对
微信
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
抢沙发
显身卡
发表于 2004-12-19 16:44
