sr离散数学怎么求

❶ 离散数学群的运算表怎么求

离散数学群的运算表求法：

［k］是除以4余数为k的自然数的集合，那么［k］+［m］的意思就应该是这两个数集里各拿一个数相加，除以4，看余数是0～3中的哪一个了。比如［1］+［3］就是余数为1+3=4，也就是4的倍数，所以和是［0］。

离散数学

是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。

❷ 离散数学求助，R·S是怎么算的，求告知

二元关系R与S的复合（也叫作合成）

例如：

R=｛<1,2>,<2,3>,<1,4>,<3,1>｝

S={<2,3>,<3,4>,<1,2>,<4,1>}

R。S={<1,3>,<2,4>,<1,1>,<3,2>}

S。R=｛<2,1>,<1,3>,<4,2>,<4,4>｝

离散数学是传统的逻辑学

集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。

❸ 离散数学，第37题的第二问，如果改为求由R*导出的A的划分，应该怎么做

先把tsr自反对称传递闭包，求出来。

r(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>}

sr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>}
tsr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>,<b,c>,<c,b>}

因此划分是{{a,b,c},{e,f}}

❹ 离散数学限制怎么求

离散数学限制求法：

任取<x，z>∈R。S，因为R.S具有对称性，故<z，x>∈R.S，则一定存在y使得<z，y>∈R，且<y，x>∈S，又因为R，S有对称性，故有<x，y>∈S，且<y，z>∈R，故<x，z>∈S.R，这就证明了R.S含于S.R，同样地，可证S。R含于R.S，这就证明了S.R=R.S。

离散数学

是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。

❺ 离散数学r(R)怎么求

r(R)={<1,1>,<2,2>,<3,3>,<1,2>,<2,3>}; s(R)={<1,1>,<1,2>,<2,1>,<2,3>,<3,2>}; t(R)={<1,1>

❻ 离散数学：rs(r)=sr(r)的证明

rs（R）=sr(R):
sr(R)=r(R)∪(r(R))c=(R∪IA)∪(R∪IA)c
= (R∪IA)∪(Rc∪IAc) =R∪IA∪Rc∪IA
= (R∪Rc) ∪IA= s(R)∪IA=rs(R)

❼ 离散数学的关系合成运算怎么算

离散数学的关系运算主要有以下几种：

1、并（UNION）设有两个关系R和S，它们具有相同的结构。R和S的并是由属于R或属于S的元组组成的集合，运算符为∪。记为T=R∪S。

2、差（DIFFERENCE）R和S的差是由属于R但不属

关系运算

关系运算

于S的元组组成的集合，运算符为－。记为T=R－S。

3、交（INTERSECTION）R和S的交是由既属于R又属于S的元组组成的集合，运算符为∩。记为T=R∩S。R∩S=R－（R－S）。

离散数学的关系合成运算举例：

(7)sr离散数学怎么求扩展阅读：

关系的基本运算有两类：一类是传统的集合运算（并、差、交等），另一类是专门的关系运算（选择、投影、连接、除法、外连接等），有些查询需要几个基本运算的组合，要经过若干步骤才能完成。

1、选择运算

从关系中找出满足给定条件的那些元组称为选择。其中的条件是以逻辑表达式给出的，值为真的元组将被选取。这种运算是从水平方向抽取元组。在FOXPRO中的短语FOR和WHILE均相当于选择运算。

如：LISTFOR出版单位='高等教育出版社'AND单价<=20

2、投影运算

从关系模式中挑选若干属性组成新的关系称为投影。这是从列的角度进行的运算，相当于对关系进行垂直分解。在FOXPRO中短语FIELDS相当于投影运算。如：LISTFIELDS单位，姓名

3、连接运算

连接运算是从两个关系的笛卡尔积中选择属性间满足一定条件的元组。

4、除法运算

在关系代数中，除法运算可理解为笛卡尔积的逆运算。

设被除关系R为m元关系，除关系S为n元关系，那么它们的商为m-n元关系，记为R÷S。商的构成原则是：将被除关系R中的m-n列，按其值分成若干组，检查每一组的n列值的集合是否包含除关系S，若包含则取m-n列的值作为商的一个元组，否则不取。

5、外连接运算

选择和投影运算都是属于一目运算，它们的操作对象只是一个关系。联接运算是二目运算，需要两个关系作为操作对象。

❽ 离散数学基本知识

总结 离散数学知识点 命题逻辑
→，前键为真，后键为假才为假；<—>，相同为真，不同为假；
主析取范式：极小项(m)之和；主合取范式：极大项(M)之积；
求极小项时，命题变元的肯定为1，否定为0，求极大项时相反；
求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假；
求范式时，为保证编码不错，命题变元最好按P,Q,R的顺序依次写；
真值表中值为1的项为极小项，值为0的项为极大项；
n个变元共有个极小项或极大项，这为(0~-1)刚好为化简完后的主析取加主合取；
永真式没有主合取范式，永假式没有主析取范式；
推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假)
10.命题逻辑的推理演算方法：P规则，T规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 谓词逻辑
一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n个个体，多元谓词描述个体之间的关系；
全称量词用蕴含→，存在量词用合取^;
既有存在又有全称量词时，先消存在量词，再消全称量词； 集合
N，表示自然数集，1,2,3……，不包括0；
基：集合A中不同元素的个数，|A|；
幂集：给定集合A，以集合A的所有子集为元素组成的集合，P(A)；
若集合A有n个元素，幂集P(A)有个元素，|P(A)|==；
集合的分划：(等价关系) ①每一个分划都是由集合A的几个子集构成的集合； ②这几个子集相交为空，相并为全(A)；
集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 关系
若集合A有m个元素，集合B有n个元素，则笛卡尔A×B的基数为mn，A到B上可以定义种不同的关系；
若集合A有n个元素，则|A×A|=，A上有个不同的关系；