1楼:匿名用户
a<=>b 命题a 与b 等价关系
离散数学中各种符号大全
├ 断定符(公式在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→y f是x到y的函数
***(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 交换环范畴
r-mod 环r的左模范畴
mod-r 环r的右模范畴
field 域范畴
poset 偏序集范畴
离散数学 ←→ 这个符号什么意思 左右的单箭头又是什么意思?
2楼:匿名用户
双箭头是“等价于”,就是充要条件,a←b,a是b的必要非充分条件,a→b,a是b的充分非必要条件
数学 符号啥意思 第六个定义中 双向箭头啥意思
3楼:纯与唇
双向箭头即等值命题
(或称为充要条件)。
命题的“双条件”运算:p<=>q命题p与q的等价关系
关系符号
如“=”是等号,“≈”是近似符号(即约等于),“≠”是不等号,“>”是大于符号,“<”是小于符号,“≥”是大于或等于符号(也可写作“≮”,即不小于),“≤”是小于或等于符号(也可写作“≯”,即不大于),“→ ”表示变量变化的趋势,“∽”是相似符号;
“≌”是全等号,“∥”是平行符号,“⊥”是垂直符号,“∝”是正比例符号(表示反比例时可以利用倒数关系),“∈”是属于符号,“”是包含于符号,“”是包含符号,“|”表示“能整除”。
(例如a|b表示“a能整除b”,而||b表示r是a恰能整除b的最大幂次),x,y等任何字母都可以代表未知数。
扩展资料
排列组合符号
c组合数
a (或p)排列数
n元素的总个数
r参与选择的元素个数阶乘,如5!=5×4×3×2×1=120,规定0!=1
半阶乘(又称双阶乘),例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840
∑连加离散数学符号
全称量词
存在量词
├ 断定符(公式在l中可证)
╞ 满足符(公式在e上有效,公式在e上可满足)
命题的“非”运算,如命题的否定为﹁p
∧ 命题的“合取”(“与”)运算
∨ 命题的“析取”(“或”,“可兼或”)运算
命题的“条件”运算
4楼:小乐笑了
双向箭头是等价的意思,即等值命题(或称为充要条件),两边可以相互推导
离散数学中,逻辑联结词中上,下箭头分别代表什么
5楼:琴兒紫
上箭头代表析取(逻辑或)
下箭头代表合取(逻辑与)望采纳
离散数学里的三角形符号什么意思,比如 a △(b u c) 20
6楼:
对称差,就是ab扣除相交的部分
7楼:匿名用户
三角形符号是一种抽象的运算符,具体得看上下文或运算表,但通常不表示集合的对称差运算,集合的对称差运算通常用带圈的加号表示。
8楼:life李晓龙
还没学呢,刚到微积分
离散数学中a|b是什么意思?
9楼:零下七度
a|b表示a整除b,等价于存在c使得b=ac,这里a、b、c均是整数,
a=b当且仅当2|(a-b)。
即等价于
a、b关于模2同余,或a、b用2除余数相同或2整除a、b之差。
通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严格的逻辑推理能力,为将来参与创新性的研究和开发工作打下坚实的基础。
离散数学的学科内容:
1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。
2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。
3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。
4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。
5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理。
10楼:匿名用户
通常在数学上用a|b表示a整除b,等价于存在c使得b=ac,这里a,b,c均是整数,
应该是a=b当且仅当2|(a-b)。
即等价于a,b关于模2同余,或a,b用2除余数相同或2整除a,b之差.
离散数学中上下两个箭头是什么意思
1楼 浅浅念白 上箭头是与非,比如p上箭头q 非 p与q 。 下箭头是或非,就是p或q的非。参见左孝凌版的 离散数学。 2楼 飞水浪花 剪头向上是析取,向下是合取。 离散数学双向箭头是什么意思 3楼 圭时芳改娴 离散数学双向箭头是什么意思?教材上应该说的清楚,是 当且仅当 的意思。 离散数学双向箭头...
化学方程式里发箭头是什么意思比如这个
1楼 奥意义睡了 反应物中不含气体,生成物产生了气体,在气体后标向上的剪头,如果生成沉淀就要标向下的剪头,比如你这个,就是水通电分解,生成氧气和氢气 2楼 heaven神曲 那是气体符号如果方程式两边都有气体就不用了 若是向下就是沉淀 两边都有也不用了 3楼 匿名用户 上箭头吗?意思是生成了气体。 ...
油表下面那个标志啥意思。汽车箭头加油
1楼 张祥 老实说我没见过这样的仪表盘,但是我知道有油箱标志的那个意思是 油箱盖在你车辆的左边。 下面汽车箭头油箱,我想应该是等你快没油了,这个标志就会亮起。 谁能告诉我油表下面那个车子和加油箱代表什么意思 2楼 中空玻璃 油箱油量不足,车子变红提示加油,车子油箱盖在左边 3楼 当当当国安 表示车应...