離散結(jié)構(gòu)上-計科1312_第1頁
全文預(yù)覽已結(jié)束

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)

文檔簡介

1、A若S是自反的, 則RS20142015離散結(jié)構(gòu)上試題（ A 卷1B若S是反自反的, 則RSC若S則RS（D若S則RS二、填空題（每題 2 分 共 20分令p: 你努力, q: 你失敗. 命題”除非你努力, 否則你失敗.”令F(x):x是汽車,G(x):x是火車,H(x,y):x比y快. 命題”不存在比所有火車都快的汽車.” 的符號化形式為A若S是自反的, 則RS20142015離散結(jié)構(gòu)上試題（ A 卷1B若S是反自反的, 則RSC若S則RS（D若S則RS二、填空題（每題 2 分 共 20分令p: 你努力, q: 你失敗. 命題”除非你努力, 否則你失敗.”令F(x):x是汽車,G(x):x是

2、火車,H(x,y):x比y快. 命題”不存在比所有火車都快的汽車.” 的符號化形式為一、選擇題（2 10分設(shè)集合A=1,2,2,3,1,3, 則令A(yù)=x|x=n2nN, B=x|x=n109nN的, 則BC 的基數(shù)為破壞性二難推理規(guī)則為若解釋I的論域D僅包含一個元素，則xP(x)xP(x)在I下真值.)B. D. 7. A=a，b，c，d，R下列各式中哪個不成立)A. C. B. D. 3. R是非空集合A上的偏序關(guān)系, 下面哪個性質(zhì)不是R必須具備的)則 A. 對稱性 B. 自反性 D.8. 設(shè)A=1,2,3,4,5,6,7,8,9,10,11,12, 為整除關(guān)系, B=x|xA2x4, 則在

3、偏序集中B 的最小上界是, 最大下界是9.設(shè) f, g是自然數(shù)集N上的函數(shù)f(x)=x+1, g(x)=2x,則4F,G是A上的二元關(guān)系, 下面各式中哪個不成立A. DomF Dom G= Dom( FG)G )-1 =F-G-B. (C. (F G)-1 =F-1 G-10. 集合A=,的冪集D. Ran 5. 設(shè)Ran G =Ran (FGSA)一二三四五（4分共16分四、分析計算題（共 22分1. (要求結(jié)果用極大項表示) 【5(pq) （4分共16分四、分析計算題（共 22分1. (要求結(jié)果用極大項表示) 【5(pq) 2.【6p 3.A=a,b,c, R=,.【6給出R說明Rf: 4.5(AB)(AC)= 2 設(shè)R,F,GA74.5(AB)(AC)= 2 設(shè)R,F,GA7f:RRRR,f是雙射的.【5五、證明題（32分1.在自然推理系統(tǒng) P 中構(gòu)造證明前

溫馨提示

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

最新文檔

評論

0/150

提交評論