首页 > 学术百科

离散数学符号表

离散数学符号表
∀        全称量词任意量词
∃        存在量词
├        断定符公式在L中可证
╞        满足符公式在E上有效,公式在E上可满足
┐        命题的“非”运算
∧        命题的“合取”“与”运算
∨        命题的“析取”“或”,“可兼或”运算
→        命题的“条件”运算
↔        命题的“双条件”运算的
    命题与等价关系
    命题与的蕴涵关系
        公式的对偶公式
      合式公式
        当且仅当
        命题的“不可兼或”运算 “异或门”
↑        命题的“与非” 运算 “与非门”
↓        命题的“或非”运算 “或非门”
□        模态词“必然”
◇        模态词“可能”
φ        空集
∈        属于∉不属于
·  集合A的特征函数
PA    集合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的对偶图
WG              图G的连通分支数
              图G的点连通度
              图G的边连通度
              图G的最小点度
              图G的最大点度
AG                图G模式识别受体的邻接矩阵
PG                图G的可达矩阵
MG                图G的关联矩阵
                阶完全图
                完全二分图
C                复数集
N                 自然数集包含0在内
              正自然数集
P                 素数集
Q                有理数集
              正有理数集
              负有理数集
R                实数集
Z                整数集
             
Set              集范畴
Top              拓扑空间范畴
Ab              交换范畴
Grp              范畴
Mon            单元半范畴
Ring            有单位元的结合环范畴
Rng            环范畴
CRng            交换环范畴
R-mod            环R的左模范畴
mod-R            环R的右模范畴

本文发布于:2024-09-21 12:42:20，感谢您对本站的认可！

本文链接：https://www.17tex.com/xueshu/210061.html

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系，我们将在24小时内删除。

上一篇：离散数学c图论
下一篇：离散数学
标签：运算   命题   集合   公式
留言与评论（共有 0 条评论）
   
验证码：
推荐文章
排行榜
热门标签
Copyright ©2019-2024 Comsenz Inc.Powered by © 易纺专利技术学习网 豫ICP备2022007602号 豫公网安备41160202000603 站长QQ:729038198 关于我们 投诉建议