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
C-Combination-組合
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交換環範疇
R-mod環R的左模範疇
mod-R環R的右模範疇
Field域範疇
Poset偏序集範疇
+plus加號;正號
-minus減號;負號
±plusorminus正負號
×ismultipliedby乘號
÷isdividedby除號
=isequalto等於號
≠isnotequalto不等於號
≡isequivalentto全等於號
≌isapproximatelyequalto約等於
≈isapproximatelyequalto約等於號
<islessthan小於號
>ismorethan大於號
≤islessthanorequalto小於或等於
≥ismorethanorequalto大於或等於
%percent百分之…
∞infinity無限大號
√(square)root平方根
XsquaredX的平方
XcubedX的立方
∵since;because因為
∴hence所以
∠angle角
⌒semicircle半圓
⊙circle圓
○circumference圓周
△triangle三角形
⊥perpendicularto垂直於
∪intersectionof並,合集
∩unionof交,通集
∫theintegralof…的積分
∑(sigma)summationof總和
°degree度
′minute分
〃second秒
#number…號
@at單價
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
C-Combination-組合
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交換環範疇
R-mod環R的左模範疇
mod-R環R的右模範疇
Field域範疇
Poset偏序集範疇
+plus加號;正號
-minus減號;負號
±plusorminus正負號
×ismultipliedby乘號
÷isdividedby除號
=isequalto等於號
≠isnotequalto不等於號
≡isequivalentto全等於號
≌isapproximatelyequalto約等於
≈isapproximatelyequalto約等於號
<islessthan小於號
>ismorethan大於號
≤islessthanorequalto小於或等於
≥ismorethanorequalto大於或等於
%percent百分之…
∞infinity無限大號
√(square)root平方根
XsquaredX的平方
XcubedX的立方
∵since;because因為
∴hence所以
∠angle角
⌒semicircle半圓
⊙circle圓
○circumference圓周
△triangle三角形
⊥perpendicularto垂直於
∪intersectionof並,合集
∩unionof交,通集
∫theintegralof…的積分
∑(sigma)summationof總和
°degree度
′minute分
〃second秒
#number…號
@at單價