离散数学符号大全_第1页
离散数学符号大全_第2页
离散数学符号大全_第3页
离散数学符号大全_第4页
离散数学符号大全_第5页
已阅读5页，还剩1页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

├断定符（公式在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→Yf是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交换环范

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论