所有的数学符号包括每个符号的意思都说说
所有的数学符号包括每个符号的意思都说说
所有的数学符号包括每个符号的意思都说说
所有的数学符号包括每个符号的意思都说说
数量符号
如:i,2+i,a,x,自然对数底e,圆周率π.
运算符号
如加号(+),减号(-),乘号(×或·),除号(÷或/),两个集合的并集(∪),交集(∩),根号(√),对数(log,lg,ln),比(:),绝对值符号“||”,微分(dx),积分(∫),曲线积分(∮)等.
关系符号
如“=”是等号,“≈”是近似符号,“≠”是不等号,“>”是大于符号,“B命题A与B的蕴涵关系
A*公式A的对偶公式
wff合式公式
iff当且仅当
↑命题的“与非”运算(“与非门”)
↓命题的“或非”运算(“或非门”)
□模态词“必然”
◇模态词“可能”
φ空集
∈属于A∈B则为A属于B(∉不属于)
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交换环范畴
R-mod环R的左模范畴
mod-R环R的右模范畴
Field域范畴
Poset偏序集范畴
部分希腊字母数学符号
字母x09古希腊语名称x09英语名称x09古希腊语发音x09现代希腊语发音x09中文注音x09数学意思
Ααx09?λφαx09Alphax09[a],[a?]x09[a]x09阿尔法x09角度;系数
Ββx09β?ταx09Betax09[b]x09[v]x09贝塔x09角度;系数
Δδx09δ?λταx09Deltax09[d]x09[ð]x09德尔塔x09变动;求根公式
Εεx09?ψιλονx09Epsilonx09[e]x09[e]x09伊普西隆x09对数之基数
Ζζx09ζ?ταx09Zetax09[zd]x09[z]x09泽塔x09系数;
Θθx09θ?ταx09Thetax09[t?]x09[θ]x09西塔x09温度;相位角
Ιιx09ι?ταx09Iotax09[i]x09[i]x09约塔x09微小,一点儿
Λλx09λ?μβδα(现为λ?μδα)x09Lambdax09[l]x09[l]x09兰姆达x09波长(小写);体积
Μμx09μυ(现为μι)x09Mux09[m]x09[m]x09谬x09微(千分之一);放大因数(小写)
Ξξx09ξιx09Xix09[ks]x09[ks]x09克西x09随机变量
Ππx09πιx09Pix09[p]x09[p]x09派x09圆周率=圆周÷直径≈3.1416
Σσx09σ?γμαx09Sigmax09[s]x09[s]x09西格玛x09总和(大写)
Ττx09ταυx09Taux09[t]x09[t]x09陶x09时间常数
Φφx09φιx09Phix09[p?]x09[f]x09弗爱x09辅助角
Ωωx09ωμ?γαx09Omegax09[?]x09[o]x09欧米咖x09角
编辑本段
数学符号的意义
符号(Symbol) 意义(Meaning)
=等于isequalto
≠不等于isnotequalto
大于isgreaterthan
||平行isparallelto
≥大于等于isgreaterthanorequalto
≤小于等于islessthanorequalto
≡ 恒等于或同余
π圆周率
|x|绝对值absolutevalueofX∽相似issimilarto
≌全等isequalto(especiallyfortriangle)
>>远远