离散常用数学符号
<p>人才源自知识，而知识的获得跟广泛的阅读积累是密不可分的。古人有书中自有颜如玉之说。杜甫所提倡的读书破万卷, 下笔如有神等，无不强调了多读书广集益的好处。这篇离散常用数学符号，希望可以加强你的基础。</p><p>离散数学符号</p><p>├ 断定符(公式在L中可证)</p><p>╞ 满足符(公式在E上有效，公式在E上可满足)</p><p>┐ 命题的非运算</p><p>命题的合取(与)运算</p><p>命题的析取(或，可兼或)运算</p><p>命题的条件运算</p><p>AB 命题A 与B 等价关系</p><p>A=B 命题 A与 B的蕴涵关系</p><p>A* 公式A 的对偶公式</p><p>wff 合式公式</p><p>iff 当且仅当</p><p>命题的与非 运算( 与非门 )</p><p>命题的或非运算( 或非门 )</p><p>□ 模态词必然</p><p>◇ 模态词可能</p><p>空集</p><p>属于(??不属于)</p><p>P(A) 集合A的幂集</p><p>|A| 集合A的点数</p><p>R^2=R○R 关系R的复合</p><p>(或下面加 ) 真包含</p><p>集合的并运算</p><p>集合的交运算</p><p>- (～) 集合的差运算</p><p>〡 限制</p><p>(右下角R) 集合关于关系R的等价类</p><p>A/ R 集合A上关于R的商集</p><p> 元素a 产生的循环群</p><p>I (i大写) 环，理想</p><p>Z/(n) 模n的同余类集合</p><p>r(R) 关系 R的自反闭包</p><p>s(R) 关系 的对称闭包</p><p>CP 命题演绎的定理(CP 规则)</p><p>EG 存在推广规则(存在量词引入规则)</p><p>ES 存在量词特指规则(存在量词消去规则)</p><p>UG 全称推广规则(全称量词引入规则)</p><p>US 全称特指规则(全称量词消去规则)</p><p>R 关系</p><p>r 相容关系</p><p>R○S 关系 与关系 的复合</p><p>domf 函数 的定义域(前域)</p><p>ranf 函数 的值域</p><p>f:XY f是X到Y的函数</p><p>GCD(x,y) x,y最大公约数</p><p>LCM(x,y) x,y最小公倍数</p><p>aH(Ha) H 关于a的左(右)陪集</p><p>Ker(f) 同态映射f的核(或称 f同态核)</p><p> 1到n的整数集合</p><p>d(u,v) 点u与点v间的距离</p><p>d(v) 点v的度数</p><p>G=(V,E) 点集为V，边集为E的图</p><p>W(G) 图G的连通分支数</p><p>k(G) 图G的点连通度</p><p>△(G) 图G的最大点度</p><p>A(G) 图G的邻接矩阵</p><p>P(G) 图G的可达矩阵</p><p>M(G) 图G的关联矩阵</p><p>C 复数集</p><p>N 自然数集(包含0在内)</p><p>N* 正自然数集</p><p>P 素数集</p><p>Q 有理数集</p><p>R 实数集</p><p>Z 整数集</p><p>Set 集范畴</p><p>Top 拓扑空间范畴</p><p>Ab 交换群范畴</p><p>Grp 群范畴</p><p>Mon 单元半群范畴</p><p>Ring 有单位元的(结合)环范畴</p><p>Rng 环范畴</p><p>CRng 交换环范畴</p><p>R-mod 环R的左模范畴</p><p>mod-R 环R的右模范畴</p><p>Field 域范畴</p><p>Poset 偏序集范畴</p><p>感谢你阅读离散常用数学符号。</p>
页:
[1]