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

下载本文档

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

文档简介

1、离散数学符号表 全称量词（任意量词） $ 存在量词 断定符（公式在L中可证） 满足符（公式在E上有效，公式在E上可满足） 命题的“非”运算 命题的“合取”（“与”）运算 命题的“析取”（“或”，“可兼或”）运算 命题的“条件”运算 命题的“双条件”运算的 命题与等价关系 命题与的蕴涵关系 公式的对偶公式 合式公式 当且仅当 命题的“不可兼或”运算（ “异或门” ） 命题的“与非” 运算（ “与非门” ） 命题的“或非”运算（ “或非门” ） 模态词“必然” 模态词“可能” 空集 属于（不属于）（） 集合A的特征函数P（A） 集合A的幂集 集合A的点数 （） 集合A的笛卡儿积 关系R的“复合”

2、阿列夫零 阿列夫 包含 真包含 集合的并运算 集合的交运算- （） 集合的差运算 集合的对称差运算 m同余加 m同余乘 限制 集合关于关系R的等价类/ 集合A上关于R的商集 集合A关于关系R的划分 集合A关于划分的关系 元素产生的循环群 元素形成的等价类 由相容关系产生的最大相容类 环，理想 模n的同余类集合 与模相等 关系的自反闭包 关系的对称闭包， 关系的传递闭包， 关系的自反、传递闭包 矩阵的第个行向量 矩阵的第个列向量CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则

3、（全称量词消去规则）， 恒等关系 集合的补集 所有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 环范

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

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

最新文档

评论

0/150

提交评论