文档介绍：≠≤≥≈≡≈∥ = ≤≥≌∽≮≯∑∏∪∩∈⊿⌒√∟㏒㏑￠∠⊥∨∧∞∝∮∫⊙∷∵∴∶·± Φ 1 、几何符号⊥∥∠⌒⊙≡≌△ 2 、代数符号∝∧∨~∫≠≤≥≈∞∶ 3 、运算符号如加号(+ ) ,减号(- ) ,乘号( ×或·) ,除号( ÷ 或/ ) ,两个集合的并集( ∪) ,交集( ∩) ,根号(√),对数( log , lg, ln),比( :),微分( dx ),积分( ∫),曲线积分( ∮)等。 4 、集合符号∪∩∈ 5 、特殊符号∑π(圆周率) 6 、推理符号|a| ⊥∽△∠∩∪≠≡±≥≤∈←↑→↓↖↗↘↙∥∧∨&;§①②③④⑤⑥⑦⑧⑨⑩ΓΔΘΛΞΟΠΣΦΧΨΩαβγδεζηθικλμνξοπρστυφχψωⅠⅡⅢⅣⅤⅥⅦⅧⅨⅩⅪⅫⅰⅱⅲⅳⅴⅵⅶⅷⅸⅹ∈∏∑∕√∝∞∟∠∣∥∧∨∩∪∫∮∴∵∶∷∽≈≌≒≠≡≤≥≦≧≮≯⊕⊙⊥⊿⌒℃指数 0123 : o123 7 、数量符号如: i, 2+i , a, x,自然对数底 e,圆周率π。 8 、关系符号如“= ”是等号, “≈”是近似符号, “≠”是不等号, “> ”是大于符号, “< ”是小于符号, “≥”是大于或等于符号(也可写作“≮”), “≤”是小于或等于符号(也可写作“≯”),。“→”表示变量变化的趋势, “∽”是相似符号, “≌”是全等号, “∥”是平行符号, “⊥”是垂直符号, “∝”是成正比符号, (没有成反比符号,但可以用成正比符号配倒数当作成反比) “∈”是属于符号, “??”是“包含”符号等。 9 、结合符号如小括号“() ”中括号“[] ”,大括号“{} ”横线“—” 10 、性质符号如正号“+ ”,负号“- ”,绝对值符号“||”正负号“±” 11 、省略符号如三角形(△),直角三角形( Rt△),正弦( sin ),余弦( cos ), x的函数( f(x) ),极限( lim ),角(∠), ∵因为,(一个脚站着的,站不住) ∴所以,(两个脚站着的,能站住)总和( ∑),连乘( ∏),从 n个元素中每次取出 r个元素所有不同的组合数( C(r)(n) ),幂( A, Ac , Aq , x^n )等。 12 、排列组合符号 C-组合数 A-排列数 N- 元素的总个数 R-参与选择的元素个数!-阶乘,如 5! =5 ×4×3×2× 1=120 bination- 组合 A-Arrangement- 排列 13 、离散数学符号├断定符(公式在 L中可证) ╞满足符(公式在 E上有效,公式在 E上可满足) ┐命题的“非”运算∧命题的“合取”( “与”)运算∨命题的“析取”( “或”, “可兼或”)运算→命题的“条件”运算 A<=>B 命题 A与 B等价关系 A=>B 命题 A与 B的蕴涵关系 A* 公式 A的对偶公式 wff 合式公式 iff当且仅当↑命题的“与非”运算( “与非门”) ↓命题的“或非”运算( “或非门”) □模态词“必然”◇模态词“可能”φ空集∈属于( ??不属于) P( A)集合 A的幂集|A| 集合 A的点数 R^2=R ○ R [R^n=R^(n-1) ○ R] 关系 R的“复合”(或下面加≠)真包含∪集合的并运算∩集合的交运算-(~) 集合的差运算〡限制[X]( 右下角 R) 集合关于关系 R的等价类 A/ R集合 A上关于 R的商集[a] 元素 a产生的循环群 I (i大写)环,理想 Z/(n) 模 n的同余类集合 r(R) 关系 R的自反闭包 s(R) 关系的对称闭包 CP 命题演绎的定理( CP 规则) EG 存在推广规则(存在量词引入规则) ES 存在量词特指规则(存在量词消去规则) UG 全称推广规则(全称量词引入规则) US 全称特指规则(全称量词消去规则) R关系 r相容关系 R○ S关系与关系的复合 domf 函数的定义域(前域) ranf 函数的值域 f:X → Yf是 X到 Y的函数 GCD(x,y) x,y 最大公约数 LCM(x,y) x,y 最小公倍数 aH(Ha) H关于 a的左(右)陪集 Ker(f) 同态映射 f的核(或称 f同态核) [1, n]1到 n的整数集合 d(u,v) 点 u与点 v间的距离 d(v) 点 v的度数 G=(V,E) 点集为 V,边集为 E的图 W(G) 图 G的连通分支数 k(G) 图 G的点连通度△( G) 图 G的最大点度 A(G) 图 G的邻接矩阵 P(G) 图 G的可达矩阵 M(G) 图 G的关联矩阵 C复数集 N自然数集(包含 0在内) N* 正自然数集 P素数集 Q有理数集 R实数集 Z整数集 Set 集范畴 Top 拓扑空间范畴 Ab 交换群范畴 Grp 群范畴 Mon 单元半群范畴 Ring 有单位元的(结合)环范畴 Rng 环范畴 CRng 交换