线性主部

.

'.

数量符号

如：i，2+i，a，x，自然对数底e，圆周率π。

运算符号

如加号（+），减号（－），乘号（×或·），除号（÷或/），两个集合的并集（∪），交集（∩），

根号（√￣），对数（log，lg，ln），比（:），绝对值符号||，微分（d），积分（∫），闭合曲

面（曲线）积分（∮）等。

关系符号

如“=”是等号，“≈”是近似符号，“≠”是不等号，“>”是大于符号，“<”是小于符号，“≥”

是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），“→”表

示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，

“∝”是正比例符号，“∈”是属于符号，“⊆”是“包含”符号等。“|”表示“能整除”（例如

a|b表示”a能整除b“)，x可以代表未知数，y也可以代表未知数，任何字母都可以代表未知数。

结合符号

如小括号“（）”中括号“[]”，大括号“{}”横线“—”，比如（2+1）+3=6，[2.5×（23+2）

+1]=x，3.5+[3+1]+1=y等。

性质符号

如正号“+”，负号“－”，正负号“±”

省略符号

如三角形（△），直角三角形（Rt△），正弦（sin），

余弦（cos），x的函数（f(x)），极限（lim），角（∠），

∵因为，（一个脚站着的，站不住）

∴所以，（两个脚站着的，能站住）(口诀：因为站不住，所以两个点；因为上面两个点，所以下面

两个点)

总和，连加：∑，求积，连乘：∏，从n个元素中取出r个元素所有不同的组合数C

，幂

排列组合符号

.

'.

C组合数

A(或P)排列数

N元素的总个数

R参与选择的元素个数

!阶乘，如5！=5×4×3×2×1=120，规定0！=1

!!半阶乘(又称双阶乘)，例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840

离散数学符号

∀全称量词

∃存在量词

├断定符（公式在L中可证）

╞满足符（公式在E上有效，公式在E上可满足）

﹁命题的“非”运算，如命题的否定为﹁p

∧命题的“合取”（“与”）运算

∨命题的“析取”（“或”，“可兼或”）运算

→命题的“条件”运算

↔命题的“双条件”运算的

p<=>q命题p与q的等价关系

p=>q命题p与q的蕴涵关系

A*公式A的对偶公式

wff合式公式

iff当且仅当

↑命题的“与非”运算（“与非门”）

↓命题的“或非”运算（“或非门”）

□模态词“必然”

◇模态词“可能”

∅空集

∈属于A∈B,即“A属于B”

∉不属于

P(A)集合A的幂集

|A|集合A的点数

R²=R○R[R

=R

○R]关系R的“复合”

א阿列夫

⊆包含

⊂（或下面加≠）真包含

∪集合的并运算

∩集合的交运算

-或集合的差运算

〡限制

.

'.

集合关于关系R的等价类

A/R集合A上关于R的商集

[a]元素a产生的循环群

I环，理想

Z/(n)模n的同余类集合

r(R)关系R的自反闭包

s(R)关系R的对称闭包

CP命题演绎的定理（CP规则）

EG存在推广规则（存在量词引入规则）

ES存在量词特指规则（存在量词消去规则）

UG全称推广规则（全称量词引入规则）

US全称特指规则（全称量词消去规则）

R关系

r相容关系

R○S关系与关系的复合

domf函数的定义域（前域）

ranf函数的值域

f:x→yf是x到y的函数

(x,y)x与y的最大公约数

[x,y]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的图G

W(G)图G的连通分支数

k(G)图G的点连通度

Δ(G)图G的最大点度

A(G)图G的邻接矩阵

P(G)图G的可达矩阵

M(G)图G的关联矩阵

C复数集

I虚数集

N自然数集（包含0在内）

N*（N

+

）正自然数集，正整数集（*表示从集合中去掉元素“0”）

P素数集

Q有理数集

R实数集

Z整数集

Set集范畴

Top拓扑空间范畴

Ab交换群范畴

Grp群范畴

Mon单元半群范畴

Ring有单位元的（结合）环范畴

.

'.

Rng环范畴

CRng交换环范畴

R-mod环R的左模范畴

mod-R环R的右模范畴

Field域范畴

Pot偏序集范畴

希腊数学符号

字母

古希腊语名

称

英语名称

古希腊语

发音

现代希腊

语发音

中文注音数学意思

Αα?λφαAlpha[a],[a?][a]阿尔法角度；系数；平面

Βββ?ταBeta[b][v]贝塔角度；系数；平面

Δδδ?λταDelta[d][ð]德尔塔变动；求根公式

Εε

?ψιλο

ν

Epsilon[e][e]伊普西隆对数之基数

Ζζζ?ταZeta[zd][z]泽塔系数；

Θθθ?ταTheta[t?][θ]西塔温度；相位角

Ιιι?ταIota[i][i]约塔微小，一点儿

Λλ

λ?μβδ

α(现为

λ?μδα)

Lambda[l][l]兰姆达波长（小写）；体积

Μμ

μυ(现为

μι)

Mu[m][m]谬

微（千分之一）；放大

因数（小写）

ΞξξιXi[ks][ks]克西随机变量

ΠππιPi[p][p]派

圆周率=圆周÷直径

≈3.1416

Σσσ?γμαSigma[s][s]西格玛

总和（大写）；统计学

上的标准差（小写）

ΤτταυTau[t][t]陶时间常数

ΦφφιPhi[p?][f]弗爱辅助角

Ωωωμ?γαOmega[??][o]欧米咖角genhao

3意义

符号(Symbol)意义(Meaning)

=等于iqualto

≠不等于isnotequalto

≈约等于approximatelyequalto

<小于islessthan

>大于isgreaterthan

.

'.

//平行isparallelto

平行且相等

⊥垂直

≥大于或等于isgreaterthanorequalto

≤小于或等于islessthanorequalto

≡恒等于或同余

π圆周率约等于3.1415926536

e自然常数约等于2.7182818285

|x|绝对值absolutevalueofX

∽相似issimilarto

≌全等iqualto(especiallyforgeometricfigure)

>>远大于

<<远小于

∪并集

∩交集

⊆包含于

∈属于

⊙圆

求商值

α，β，γ，…角度；系数（数学中常用作表示未知角）

φ角（数学中常用作表示未知角）

∞无穷大

lnx以e为底的对数

lgx以10为底的对数

floor(x)或[x]下取整函数

ceil(x)上取整函数

xmody求余数

x-floor(x)或{x}小数部分

dy，df(x)函数y=f(x)的微分（或线性主部）

∫f(x)dx不定积分，函数f的全体原函数

函数f从a到b的定积分

表示i从m到n逐一递增对

连加求和

表示i从m到n逐一递增对

.

'.

连乘求积

4应用

CRng交换环范畴

R-mod环R的左模范畴

Field域范畴

Pot偏序集范畴