离散数学符号表

温柔似野鬼°
959次浏览
2020年12月20日 09:17
最佳经验
本文由作者推荐

卷发棒什么牌子好-关于秋天的诗词

2020年12月20日发(作者:于运海)


《离散数学》符号表

 全称量词(任意量词)

 存在量词

├ 断定符(公式在L中可证)

╞ 满足符(公式在E上有效,公式在E上可满足)

┐ 命题的“非”运算

∧ 命题的“合取”(“与”)运算

∨ 命题的“析取”(“或”,“可兼或”)运算

→ 命题的“条件”运算



命题的“双条件”运算的

命题
命题
公式


等价关系

的蕴涵关系

的对偶公式

合式公式

当且仅当

命题的“不可兼或”运算( “异或门” )

↑ 命题的“与非” 运算( “与非门” )

↓ 命题的“或非”运算( “或非门” )

□ 模态词“必然”

◇ 模态词“可能”

φ 空集

↔ 属于(不属于)

(·) 集合A的特征函数

P(A) 集合A的幂集

集合A的点数



阿列夫零

阿列夫

) 集合A的笛卡儿积

关系R的“复合”


包含

真包含

∪ 集合的并运算

∩ 集合的交运算

- (~) 集合的差运算

 集合的对称差运算

m同余加

m同余乘

〡 限制

集合关于关系R的等价类

集合A上关于R的商集

集合A关于关系R的划分

集合A关于划分
元素产生的循环群

元素形成的等价类

的关系

由相容关系产生的最大相容类

环,理想

模n的同余类集合

与模相等

关系
关系


的自反闭包

的对称闭包

的传递闭包

的自反、传递闭包

关系
关系
矩阵
矩阵
的第个行向量

的第个列向量

CP 命题演绎的定理(CP 规则)


EG 存在推广规则(存在量词引入规则)

ES 存在量词特指规则(存在量词消去规则)

UG 全称推广规则(全称量词引入规则)

US 全称特指规则(全称量词消去规则)

, 恒等关系

的补集

集合
所有X到自身的映射

所有从集合X到集合Y的函数

集合
R 关系

相容关系

R 否关系

补关系

() 逆关系

与关系的复合

的势(基数)

关系
关系的次幂

布尔代数
含有
函数
函数



幺元

零元

的次幂

个元素的布尔代数

的定义域(前域)

的值域

) 是X到Y的函数

最大公约数

的最小公倍数


元素的逆元

关于的左(右)陪集

的核(或称的同态核)

同态映射
A,B,C 合式公式

二项式系数

多项式系数

[1,n] 1到n的整数集合




组合数

点与点间的距离

点的度数

点的出度

点的入度

点集为V,边集为E的图



的补图

与图同构

平面图G的对偶图

W(G) 图G的连通分支数

图G的点连通度

图G的边连通度

图G的最小点度


图G的最大点度

A(G) 图G的邻接矩阵

P(G) 图G的可达矩阵

M(G) 图G的关联矩阵

阶完全图

完全二分图

C 复数集

N 自然数集(包含0在内)

正自然数集

P 素数集

Q 有理数集

正有理数集

负有理数集

R 实数集

Z 整数集



Set 集范畴

Top 拓扑空间范畴

Ab 交换群范畴

Grp 群范畴

Mon 单元半群范畴

Ring 有单位元的(结合)环范畴

Rng 环范畴

CRng 交换环范畴

R-mod 环R的左模范畴

mod-R 环R的右模范畴

Field 域范畴

Poset 偏序集范畴



排球比分-张惠妹的歌曲


学会计的基本知识-终天之恨的意思


园林工程技术-微信要收费


lydia歌词-班门弄斧的意思


大学生创业贷款-斯洛文尼亚语


周亚夫简介-好看的微信号设计英文


广东高考试卷-栗子的好处


土木工程的就业前景-夏天来了作文