当前位置:首页 > 数学符号

离散数学符号大全

日期: 2019-11-11 20:54:35   分类:数学符号

离散数学符号比较多,当然了小编是不会这么高深的数学知识,其实小编还是挺羡慕那些数学能力强的同学的.好的数学知识可以应用到很多地方. 

├ 断定符(公式在 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 偏序集范畴

在线小工具