中南大學離散數(shù)學復習資料(習題)_第1頁
中南大學離散數(shù)學復習資料(習題)_第2頁
中南大學離散數(shù)學復習資料(習題)_第3頁
中南大學離散數(shù)學復習資料(習題)_第4頁
全文預覽已結束

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

PAGEPAGE4離散數(shù)學課程測試題判斷()1.若wffA是可滿足式,那么~A是矛盾式。()2.P=>P∨Q是合適公式。()3.x(A(x)→B)→(xA(x)→B)是重言式。()4.可滿足式的代入實例一定是可滿足式。()5.wffA(P)=P的對偶式為~P。()6.若A*和B*是wffA和B的對偶式,且A=>B,則A*=>B*。()7.重言式的主析取范式為T。()8.空集是非空集合的一個元素。()9.設A和X是集合,則X∈2AiffXA。()10.設A、B、C和D是四個非空集合,且A×CB×D,則AB且CD。()11.傳遞關系的對稱閉包仍是傳遞的。()12.非空集合上的關系不是對稱的,則必是反對稱的。()13.若R和S是二個有完全相同的二元組的集合,則稱它們是相等的二元關系。()14.設A是一個非空集合,則A上的等價關系都不是偏序關系。()15.有限集上的全序關系必是良序關系。()16.有限集上的偏序關系必是全序關系。()17.<A;R>是偏序集,則A的任何非空子集必有極小元。()18.<A;R>是偏序集,則A的非空子集B的上確界必是B的最大元。()19.<A;R>是全序集,則A的任何非空子集必有唯一極小元。()20.<A;R>是全序集,則A的非空子集B的下確界必是B的最小元。()21.無限集必與它的真子集等勢。()22.若AB,且A與B等勢,則B是無限集。()23.若AB,則#A<#B。()24.連通的4度正則圖一定沒有橋。()25.p階圖的直徑不可能等于p。選擇()1.是wff(P→Q)∧R∧(S→(P→Q))的代入實例的有 ①P∧R∧(S→P) ②(~P→Q)∧~R∧(~S→(~P→Q)) ③(P→Q)∧S∧(R→(P→Q)) ④(P→Q)∧R∧(R→(P→Q))()2.與公式x((P(x)∧yQ(y))∧zR(z))→S(t)等價的有: ①u((P(u)∧yQ(y))∧zR(z))→S(t) ②u((P(u)∧uQ(u))∧zR(z))→S(t) ③u((P(u)∧uQ(u))∧uR(u))→S(t) ④u((P(u)∧uQ(u))∧uR(u))→S(u)()3.下列關系中正確的有: ①{a}∈{a,{a}} ②{a}{a,{a}} ③{a}∈{a,{{a}}} ④{a}{a,{{a}}} ⑤{a}∈{{a},{{a}}} ⑥{a}{{a},{{a}}}()4.設A=P(P(P(Φ))),下列關系式中正確的有: ①Φ∈A ②ΦA ③{Φ}∈A④{Φ}A ⑤{{Φ}}∈A ⑥{{Φ}}A()5.下列說法中正確的有:①任何集合都不是它自身的元素②任何集合的冪集都不是空集③若A×B=Φ,則A=B=Φ④任意兩集合的笛卡爾積都不是空集()6.{1,2,3,4,5}上的關系R={<1,1>,<1,3>,<2,3>}是①自反的②反自反的③對稱的④反對稱的⑤傳遞的()⒎空集上的空關系是關系。①相容②等價③偏序④擬序⑤良序()⒏集A={0,1}上的恒等關系IA是關系。①相容②等價③偏序④擬序⑤良序()⒐{1,2,3,4,5}上的全關系是關系。①相容②等價③偏序④擬序⑤良序()⒑{1,2,3,4,5}上的全序關系一定是關系。①相容②等價③偏序④擬序⑤良序()11.{1,2,3,4,5}上的良序關系一定是①自反的②反自反的③對稱的④反對稱的⑤傳遞的()12.設R和S都是A到B的關系,則下列關系式中正確的有:①(R∪S)-1=R-1∪S-1②(R∩S)-1=R-1∩S-1③(R-S)-1=R-1-S-1④(Req\o\ac(○,+)S)-1=R-1eq\o\ac(○,+)S-1()13.函數(shù)f:R×R→R×R,f(<x,y>)=<x+y,x-y>是①入射②滿射③雙射④以上答案都不對()14.設Σ={a,b}為字母表,則f:Σ*→Σ*,f(x)=axb是①入射②滿射③雙射④以上答案都不對()15.若f、g是A上的函數(shù)且g·f是雙射,則①f和g都是雙射②f為滿射③g為入射④f有左逆 ⑤g有右逆()16.設p階圖G不含圈,且恰有p-1條邊(p≥2),則①G連通 ②G的任一邊都是橋③G是樹 ④加入任一邊,G便含圈()17.下列序列中,有哪個(些)不可能是一棵樹的度序列: ①(1,1,2,2,2,2,2,2) ②(1,1,1,2,2,2,2,3) ③(1,1,2,2,2,2,3,3) ④(1,1,1,1,4,4,4,4)填空1.公式A(P,Q,R)=Q∧R∨P∧R∨T∧~P∧R的對偶式為A*=。2.若公式A(P,Q,R,S)的主析取范式為∑1,3,4,5,7,則A的主合取范式為∏。3.給命題變元P和Q指派真值T,R和S指派真值F,公式P∨(Q→R∧~P)→~Q∨S的真值為。4.量詞表示“有且僅有”,xP(x)表示恰好有一個個體滿足謂詞P。那么用量詞,及等號“=”表示謂詞后得到的公式__________與xP(x)有相同的意義。5.若用謂詞I(x)表示“x是整數(shù)”,E(x)表示“x=y”,G(x,y)表示“x>y”,那么命題“對任何整數(shù)x和y,x≤y且y≤x是x=y的充要條件”的謂詞表達式為:。6.給定論域D={1,2}和謂詞P:P(1,1)=T,P(1,2)=F,P(2,1)=F,P(2,2)=T,公式xy(P(x,y)→P(y,x))的真值為。7.若集A={1,2,3,4}上的關系R={<1,2>,<2,3>,<3,4>},S={<2,4>,<1,2>,<3,1>},則dom(R·S)=。8.若A={a,b},B={1,2},則BA=。9.用ε表示字母表Σ={a,b}上的空串,定義f:Σ*→Σ*如下:x∈Σ*f(x)=axb則f({ε,a,b})=。10.用ε表示字母表Σ={a,b}上的空串,定義f:Σ*→Σ*如下:x∈Σ*f(x)=axb則f()={aab,abb,ab}。11.在集A={1,2}上可定義兩個不同的等價關系,它們是和。12.若R為集合A上的等價關系,ab,那么等價類[a]R和[b]R的交[a]R∩[b]R=。13.若G是p階k度正則圖,則它有條邊,它的補圖有條邊。14.考慮下圖,它含有_________等割點,___________等橋(列出具體的頂點和邊)。VV2V4 V4V5V1V5V1V3 V3四、計算與作圖1.若集合A={1,2,3,4}上的關系R={<1,1>,<2,3>,<3,2>,<3,4>,<4,1>}。請用集合列舉表示法表示r(R)、用關系圖表示s(R),用關系矩陣表示t(R)。2.設R和S都是{1,2,3,4,5}上的二元關系,且R={<2,4>,<4,1>,<3,5>,<5,3>},S={<1,2>,<3,4>,<5,2>},則R·S=,R2=,t(R)=。3.設A={3,6,9,15,54,90,135,180},|為自然數(shù)的整除關系。畫出<A;|>的Hasse圖,并求{6,15,90}的上、下確界。4.設A={a,b},B={1,2,3,4},f={<a,1>,<b,2>}是A到B的函數(shù),試找出f的所有左逆和右逆(如果存在的話)。5.設A={1,2,3,4,5},B={a,b},f={<1,a>,<2,a>,<3,b>,<4,a>,<5,b>}是A到B的函數(shù),試找出f的所有左逆和右逆(如果存在的話)。6.定義A={1,2}×{1,2,3}上的等價關系R如下:<x,y>,<u,v>∈A,<x,y>R<u,v>iffx+y=u+v。求出商集A/R。7.設A={1,2},定義AA上的等價關系R如下:f,g∈AA,fRgifff(A)=g(A)。試求出商集AA/R。8.某班級成立了三個運動隊:籃球隊、排球隊和足球隊。今有張、王、李、趙、陳5名同學,若已知張、王為籃球隊員;張、李、趙為排球隊員;李、趙、陳為足球隊員,問能否從這5人中選出3名不兼職的隊長?圖示出所有不同構的六階樹。10.找出下圖的一個最小生成樹。bbcad546036388404820452815383062251210hgef五、證明題1.A→(B→C),C∧D→E,~P→D∧~E=>A→(B→P)2.判斷下列公式是不是永真式,并加以說明:(xP(x)→xQ(x))x(P(x)→Q(x))3.設A、B是兩個集合,證明:ABiffP(A)P(B)4.設U是全集,對U的任何子集A定義A的特征函數(shù)ΧA如下:0x0xA1xAΧA:U{0,1} ΧA(x)= 證明:f(A)=XA

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論