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上有個不同的關系；