1、数量符号：i，a ，x ，e ，运算符号：并集（） ，交集（） ，根号（） ，对数（log，lg ，ln ，lb） ，比（:） ，绝对值符号| |，微分（d） ，积分（） ，闭合曲面（曲线）积分（）关系符号：“”是大于或等于符号（也可写作“”，即不小于） ， “”是小于或等于符号（也可写作“”，即不大于）， “ ”表示变量变化的趋势， “” 是相似符号， “”是全等号， “”是平行符号， “”是垂直符号， “”是正比例符号（表示反比例时可以利用倒数关系） ， “”是属于符号， “”是包含于符号， “”是包含符号，“|”表示“能整除 ”（例如 a|b 表示“a 能整除 b”，而 |b 表示 r
2、是 a 恰能整除 b 的最大幂次)，x,y 等任何字母都可以代表未知数。省略符号：三角形（） ，直角三角形（ Rt） ，正弦（sin） （见三角函数） ，双曲正弦函数（sinh） ，x 的函数（f(x)） ，极限（lim） ，角（） ， 因为 所以 总和，连加：，求积，连乘：，从 n 个元素中取出 r 个元素所有不同的组合数 （n 元素的总个数；r 参与选择的元素个数） ，幂 排列组合符号C 组合数A (或 P) 排列数n 元素的总个数r 参与选择的元素个数! 阶乘，如 5！=54321=120，规定 0！=1! 半阶乘(又称双阶乘)，例如 7!=7531=105,10!=108642=384
3、0离散数学符号 全称量词存在量词 断定符（公式在 L 中可证） 满足符（公式在 E 上有效，公式在 E 上可满足） 命题的“非 ”运算，如命题的否定 为p 命题的“合取 ”（“与”）运算 命题的“析取 ”（“或”， “可兼或” ）运算 命题的“条件”运算 命题的“双条件” 运算的pq 命题 p 与 q 的等价关系p=q 命题 p 与 q 的蕴涵关系（ p 是 q 的充分条件，q 是 p 的必要条件）A* 公式 A 的对偶公式，或表示 A 的数论倒数（此时亦可写为 ）wff 合式公式iff 当且仅当 命题的“与非” 运算（ “与非门” ） 命题的“或非”运算（ “或非门” ） 模态词“必然 ”
4、模态词“可能 ”空集 属于（如“AB“ ，即“A 属于 B”） 不属于P(A) 集合 A 的幂集|A| 集合 A 的点数R=RR R=RR 关系 R 的“复合” Aleph,阿列夫 包含（或） 真包含另外,还有相应的,等 集合的并运算 集合的交运算-或 集合的差运算 限制集合关于关系 R 的等价类A/R 集合 A 上关于 R 的商集a 元素 a 产生的 循环群I 环，理想Z/(n) 模 n 的同余类集合r(R) 关系 R 的自反闭包s(R) 关系 R 的对称闭包CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（
5、 全称量词 引入规则）US 全称特指规则（全称量词消去规则）R 关系r 相容关系RS 关系 与关系 的复合domf 函数 的定义域（前域）ranf 函数 的 值域f:xy f 是 x 到 y 的函数(x,y) x 与 y 的 最大公约数，有时为避免混淆，使用 gcd(x,y)x,y x 与 y 的 最小公倍数，有时为避免混淆，使用 lcm(x,y)aH(Ha) H 关于 a 的左（右） 陪集Ker(f) 同态映射 f 的核（或称 f 同态核）1， n 1 到 n 的整数集合d(A,B),|AB|,或 AB 点 A 与点 B 间的距离d(V) 点 V 的度数G=(V,E) 点集为 V，边集为 E
6、 的图 GW(G) 图 G 的连通分支数k(G) 图 G 的点连通度(G) 图 G 的最大点度A(G) 图 G 的邻接矩阵P(G) 图 G 的 可达矩阵M(G) 图 G 的关联矩阵C 复数集I 虚数集N 自然数集，非负整数集（包含元素“0“）N*（N+） 正自然数集，正整数集（其中*表示从集合中去掉元素“0”，如 R*表示非零实数）P 素数（质数）集Q 有理数集R 实数集Z 整数集Set 集范畴Top 拓扑空间范畴Ab 交换群范畴Grp 群范畴Mon 单元半群范畴Ring 有单位元的（结合）环范畴Rng 环范畴CRng 交换环范畴R-mod 环 R 的左模范畴mod-R 环 R 的右模范畴Fi
7、eld 域范畴Poset 偏序集范畴希腊字母简表字母 1 古希腊语名称英语名称古希腊语发音现代希腊语发音中文注音 数学意思 ? Alpha a,a? a 阿尔法 角度；系数；平面 ? Beta b v 贝塔 角度；系数；平面 ? Delta d 德尔塔 变动；求根公式 ? Epsilone e 伊普西隆 对数之基数 ? Zeta zd z 泽塔 系数； ? Theta t? 西塔 温度；相位角 ? Iota i i 约塔 微小，一点儿 ?(现为 ?)Lambdal l 兰姆达 波长（小写）；体积 (现为)Mu m m 谬 微（千分之一）；放大因数（小写） Xi ks ks 克西 随机变量 Pi
8、 p p 派 圆周率=圆周 直径3.1416 ? Sigma s s 西格玛 总和（大写）；统计学上的标准差（小写） Tau t t 陶 时间常数 Phi p? f 弗爱 辅助角 ? Omega? o 欧米咖 角符号(Symbol) 意义(Meaning)/ 平行 is parallel to平行且相等垂直 恒等于或同余 圆周率 约为 3.1415926536Ratio e 自然常数 约为 2.7182818285|x| 绝对值或（复数的）模 相似 全等 远大于 远小于 并集 交集 包含于 属于 圆 除，求商值，部分编程语言中理解为整除， ， 角度；系数 无穷大（包括正无穷大+ 与负无穷大-
9、）lnx 以 e 为底的 对数（自然对数 ）lgx 以 10 为底的对数（常用对数）lbx 以 2 为底的对数floor(x) 或x,亦可写为 下取整函数（直译为“地板函数”） ，又称高斯函数ceil(x) 亦可写为 上取整函数（直译为 “天花板函数” ）x mod y 模，求余数x-floor(x) 或x 表示 x 的小数部分dy，df(x) 函数 y=f(x)的微分（或线性主部）f(x)dx 不定积分 ，函数 f 的全体原函数平面二维 k- 紊流模型不同壁函数的对比及研究函数 f 从 a 到 b 的定积分表示 i 从 m 到 n 逐一递增对连加求和（sigma: ）表示 i 从 m 到 n 逐一递增对连乘求积 （pi:）
