回覆列表
  • 1 # aekss3074

    數量符號  如:i,2+i,a,x,自然對數底e,圓周率π。 運算子號  如加號(+),減號(-),乘號(×或·),除號(÷或/),兩個集合的並集(∪),交集(∩),根號(√),對數(log,lg,ln),比(:),絕對值符號“| |”,微分(dx),積分(∫),閉合曲面(曲線)積分(∮)等。 關係符號  如“=”是等號,“≈”是近似符號,“≠”是不等號,“>”是大於符號,“B 命題A 與B 等價關係   A=>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→Y f是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 偏序集範疇

  • 中秋節和大豐收的關聯?
  • 我怎樣去愛你,寫作背景?