| 标题 | 离散数学符号大全 |
| 符号 | 离散数学符号比较多,当然了小编是不会这么高深的数学知识,其实小编还是挺羡慕那些数学能力强的同学的.好的数学知识可以应用到很多地方. ├ 断定符（公式在 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 偏序集范畴 {{title}}(温馨提示:单选会自动复制单个符号) |
| 随便看 |
|
符号大全网提供特殊符号、表情符号、符号图案、符号表情、语言符号、网名符号、货币符号、标点符号、数学符号、钢筋符号、图纸符号、花样符号、符号点等中英文符号。