ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

数学符号归纳

2021-12-07 11:31:24  阅读:307  来源: 互联网

标签:运算 符号 归纳 命题 数学 规则 集合 范畴


数学符号归纳

文章目录


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→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 偏序集范畴

角标数字

常用上标

⁰ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ ⁺ ⁻ ⁼ ⁽ ⁾ ⁿ º ˙

常用下标

₀ ₁ ₂ ₃ ₄ ₅ ₆ ₇ ₈ ₉ ₊ ₋ ₌ ₍ ₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ

更多上标

ᵃ ᵇ ᶜ ᵈ ᵉ ᵍ ʰ ⁱ ʲ ᵏ ˡ ᵐ ⁿ ᵒ ᵖ ᵒ⃒ ʳ ˢ ᵗ ᵘ ᵛ ʷ ˣ ʸ ᙆ ᴬ ᴮ ᒼ ᴰ ᴱ ᴳ ᴴ ᴵ ᴶ ᴷ ᴸ ᴹ ᴺ ᴼ ᴾ ᴼ̴ ᴿ ˢ ᵀ ᵁ ᵂ ˣ ᵞ ᙆ ꝰ ˀ ˁ ˤ ꟸ ꭜ ʱ ꭝ ꭞ ʴ ʵ ʶ ꭟ ˠ ꟹ ᴭ ᴯ ᴲ ᴻ ᴽ ᵄ ᵅ ᵆ ᵊ ᵋ ᵌ ᵑ ᵓ ᵚ ᵝ ᵞ ᵟ ᵠ ᵡ ᵎ ᵔ ᵕ ᵙ ᵜ ᶛ ᶜ ᶝ ᶞ ᶟ ᶡ ᶣ ᶤ ᶥ ᶦ ᶧ ᶨ ᶩ ᶪ ᶫ ᶬ ᶭ ᶮ ᶯ ᶰ ᶱ ᶲ ᶳ ᶴ ᶵ ᶶ ᶷ ᶸ ᶹ ᶺ ᶼ ᶽ ᶾ ᶿ ꚜ ꚝ ჼ ᒃ ᕻ ᑦ ᒄ ᕪ ᑋ ᑊ ᔿ ᐢ ᣕ ᐤ ᣖ ᣴ ᣗ ᔆ ᙚ ᐡ ᘁ ᐜ ᕽ ᙆ ᙇ ᒼ ᣳ ᒢ ᒻ ᔿ ᐤ ᣖ ᣵ ᙚ ᐪ ᓑ ᘁ ᐜ ᕽ ᙆ ᙇ ⁰ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ ⁺ ⁻ ⁼ ˂ ˃ ⁽ ⁾ ˙ * º

更多下标

ₐ ₔ ₑ ₕ ᵢ ⱼ ₖ ₗ ₘ ₙ ₒ ₚ ᵣ ₛ ₜ ᵤ ᵥ ₓ ᙮ ᵤ ᵩ ᵦ ₗ ˪ ៳ ៷ ₒ ᵨ ₛ ៴ ᵤ ᵪ ᵧ

标签:运算,符号,归纳,命题,数学,规则,集合,范畴
来源: https://blog.csdn.net/u014132947/article/details/121764524

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有