版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
百度文庫(kù)-讓每個(gè)人平等地提升自我百度文庫(kù)-讓每個(gè)人平等地提升自我一、填空題1設(shè)集合A,B,其中A={1,2,3},B={1,2},則A-B=; (A)-(B)=. \.設(shè)有限集合A,|A|=n,則|(A>A)|=..設(shè)集合A={a,b},B={1,2},則從A至UB的所有映射是1,其中雙射的是.\.已知命題公式G=(PQ)AR,則G的主析取范式是.6設(shè)A、B為兩個(gè)集合,A={1,2,4},B={3,4},則從AB=;AB=;A-B=. \.設(shè)R是集合A上的等價(jià)關(guān)系,則R所具有的關(guān)系的三個(gè)特性是,.設(shè)命題公式G=(P(QR)),則使公式G為真的解釋有.設(shè)集合A={1,2,3,4},A上的關(guān)系R1={(1,4),(2,3),(3,2)},R2={(2,1),(3,2),(4,3)},則R1?R2=,R2?R1=,R12=..設(shè)有限集A,B,冏=m,|B|=n,則||(AB)|=.設(shè)A,B,R是三個(gè)集合,其中R是實(shí)數(shù)集,A={x|-1<x<1,xR},B={x|0<x<2,xR},則A-B=,B-A=,APB=,..設(shè)集合A={2,3,4,5,6},R是A上的整除,則R以集合形式(列舉法)記為..設(shè)一階邏輯公式G=xP(x)xQ(x),則G的前束范式是.設(shè)謂詞的定義域?yàn)閧a,b},將表達(dá)式 xR(x)-xS(x)中量詞消除,寫(xiě)成與之對(duì)應(yīng)的命題公式是..設(shè)集合A={1,2,3,4},A上的二元關(guān)系R={(1,1),(1,2),(2,3)},S={(1,3),(2,3),(3,2)}。則RS=,R2=.
、選擇題1設(shè)集合A={2,{a},3,4},B={{a},3,4,1},E為全集,則下列命題正確的是( )。(A){2}A(B){a}A(C) {{a}}BE(D){{a},1,3,4}B.2設(shè)集合A={1,2,3},A上的關(guān)系R={(1,1),(2,2),(2,3),(3,2),(3,3)},則R不具備( ).(A)自反性 (B)傳遞性/ (C)對(duì)稱(chēng)性\ (D)反對(duì)稱(chēng)性設(shè)半序集(A,w)設(shè)半序集(A,w)關(guān)系w的哈斯圖如下所示,若A的子集B={2,3,4,5},則元素6為B的(D)xyP(x,y).11下列關(guān)于集合的表示中正確的為 ((D)xyP(x,y).11下列關(guān)于集合的表示中正確的為 ((A){a}{a,b,c} (B){a}{a,b,c}12命題xG(x)取真值1的充分必要條子(A)對(duì)任意x,G(x)都取真值1.(C)有某些x,使G(x0)取真值1.13.設(shè)G是連通平面圖,有5個(gè)頂點(diǎn),(A)9條(B)5條(C)6條0111一,一…… 101015.設(shè)圖G的相鄰矩陣為,,八,110110101011(A)4,5 (B)5,6 (C)4,1三、計(jì)算證明題)。{a,b,c} (D){a,b}{a,b,c}是().(B)有一個(gè)x。,使G(x0)取真值1.(D)以上答案都不對(duì).6個(gè)面,則G的邊數(shù)是( ).11條.10,則G的頂點(diǎn)數(shù)與邊數(shù)分別為(/).1100 (D)5,8.TOC\o"1-5"\h\z( )。(A)下界 (B)上界 (C)最小上界 (D)以上答案都不對(duì)4下列語(yǔ)句中,(/)是命題。(A)請(qǐng)把門(mén)關(guān)上 (B)地球外的星球上也有人 \(C)x+5>6 (D)下午有會(huì)嗎?5設(shè)I5設(shè)I是如下一個(gè)解釋:D={a,b},10 10則在解釋I下取真值為1的公式是( ).(A)xyP(x,y)(B)xyP(x,y)(C)xP(x,x).若供選擇答案中的數(shù)值表示一個(gè)簡(jiǎn)單圖中各個(gè)頂點(diǎn)的度,能畫(huà)出圖的是( ).(A)(1,2,2,3,4,5) (B)(1,2,3,4,5,5) (C)(1,1,1,2,3) (D)(2,3,3,4,5,6)..設(shè)G、H是一階邏輯公式,P是一個(gè)謂詞,G=xP(x),H=xP(x),則一階邏輯公式GH是().(A)恒真白(B)恒假的 (C)可滿(mǎn)足的 (D)前束范式.設(shè)命題公式G=(PQ),H=P(QP),則G與H的關(guān)系是( )。(A)GH(B)HG(C)G=H(D)以上都不是.9設(shè)A,B為集合,當(dāng)( )時(shí)人一B=B.(A)A=B(B)AB(C)BA(D)A=B=.10設(shè)集合A={1,2,3,4},A上的關(guān)系R={(1,1),(2,3),(2,4),(3,4)},則R具有( )。(A)自反性 (B)傳遞性 (C)對(duì)稱(chēng)性 (D)以上答案都不對(duì).設(shè)集合A={1,2,3,4,6,8,9,12},R為整除關(guān)系。(1)畫(huà)出半序集(A,R)的哈斯圖;(2)寫(xiě)出A的子集B={3,6,9,12}的上界,下界,最小上界,最大下界;
(3)寫(xiě)出A的最大元,最小元,極大元,極小元。.設(shè)集合A={1,2,3,4},A上的關(guān)系R={(x,y)|x,yA且xy},求TOC\o"1-5"\h\z(1)畫(huà)出R的關(guān)系圖; / \(2)寫(xiě)出R的關(guān)系矩陣. / \.設(shè)R是實(shí)數(shù)集合,,,是R上的三個(gè)映射, (x)=x+3,(x)=2x,(x)=x/4,試求復(fù)合映射?,?,?,?,??. \.設(shè)I是如下一個(gè)解釋?zhuān)篋={2,3}, \a bf(2)f(3) P(2,2) P(2,3) P(3,2) P(3,3)3 2 3 2 0 0 1 1試求(1)P(a,f(a))AP(b,f(b)); \xyP(y,x)..設(shè)集合人={1,2,4,6,8,12},R為A上整除關(guān)系。 \(1)畫(huà)出半序集(A,R)的哈斯圖; \(2)寫(xiě)出A的最大元,最小元,極大元,極小元;(3)寫(xiě)出A的子集B={4,6,8,12}的上界,下界,最小上界,最大下界 ..設(shè)命題公式G=(P-Q)V(QA(P-R)),求G的主析取范式。.(9分)設(shè)一階邏輯公式:G=(xP(x)VyQ(y))一xR(x),把G化成前束范式..設(shè)R是集合A={a,b,c,d}.R是A上的二元關(guān)系,R={(a,b),(b,a),(b,c),(c,d)},(1)求出r(R),s(R),t(R);(2)畫(huà)出r(R),s(R),t(R)的關(guān)系圖.11.通過(guò)求主析取范式判斷下列命題公式是否等價(jià):G=(PAQ)V(PAQAR)H=(PV(QAR))A(QV(PAR))13.設(shè)R和S是集合A={a,b,c,d}上的關(guān)系,其中R={(a,a),(a,c),(b,c),(c,d)},S={(a,b),(b,c),(b,d),(d,d)}.(1)試寫(xiě)出R和S的關(guān)系矩陣; /(2)計(jì)算R?S,RUS,R1,S1?R1.四、證明題\、參考答案 /一、填空題1.{3}; {{3},{1,3},{2,3},{1,2,3}}.2.2n2.2n21={(a,1),(b,1)}, 2={(a,2),(b,2)},3={(a,1),(b,2)}, 4={(a,2),(b,1)}; 3,4.(PAQAR).
12,3.{4},{1,2,3,4},{1,2}.自反性;對(duì)稱(chēng)性;傳遞性.(1,0,0),(1,0,1),(1,1,0).{(1,3),(2,2),(3,1)};{(2,4),(3,3),(4,2)};{(2,2),(3,3)}.10.2mn{x|-1<x<0,xR};{x|1<x<2,xR};{x|0<x<1,xR}.12;6.{(2,2),(2,4),(2,6),(3,3),(3,6),(4,4),(5,5),(6,6)}.x(P(x)VQ(x)).21.(R(a)AR(b))一(S(a)VS(b)).{(1,3),(2,2)};{(1,1),(1,2),(1,3)}.二、選擇題1. C. 2. D. 3. B. 4.B.5. D. 6. C. 7. C.8.A.9.D.10.B.11.B.13.A.14.A.15.D三、計(jì)算證明題(2)B無(wú)上界「也無(wú)最小上界。(2)B無(wú)上界「也無(wú)最小上界。下界1,3;最大下界是3.⑶A無(wú)最大兀,最小兀是 1,極大兀8,12,90+;極小兀是1.={(1,1),(2,1),(2,2),(3,1),(3,2),(3,3),(4,1),(4,2),(4,3),(4,4)}.10111011(2)Mr1111001011(1)?=((x))=(x)+3=2x+3=2x+3.?=((x))=(x)+3=(x+3)+3=x+6,?=((x))=(x)+3=x/4+3,?=((x))=(x)/4=2x/4=x/2,??=?(?)=?+3=2x/4+3=x/2+3.(1)P(a,f(a))AP(b,f(b))=P(3,f(3))AP(2,f(2))=P(3,2)AP(2,3)=1A0=0.xyP(y,x)=x(P(2,x)VP(3,x))=(P(2,2)VP(3,2))A(P(2,3)VP(3,3))=(0V1)A(0V1)=1.(1)(2)無(wú)最大(3)B無(wú)上元,最小元1,極大元,8,12;極小元是1.界,無(wú)最小上界。下界1,2;最大下界2.G= (P-Q)V(QA(PfR))=(PVQ)V(QA(PVR))=(PAQ)V(QA(PVR))=(PAQ)V(QAP)V(QAR)
PAQAR)TOC\o"1-5"\h\z=(PA QAR)V(PA QA R)V(PAQAR)V(PAQA R)V(PAQAR)V (PAQAR)=(PA QA R)V(PA QA R)V(PAQAR)V(PAQA R)V(PAQAR)=m3Vm4Vm5Vm6Vm7=(3,4,5,6,7).G=(xP(x)VyQ(y))一xR(x) \=(xP(x)VyQ(y))VxR(x) \=(xP(x)AzyQ(y))VxR(x) 、=(xP(x)AyQ(y))VzR(z) \=八yz((P(x)AQ(y))VR(z)) \9.(1)r(R)=RUlA={(a,b),(b,a),(b,c),(c,d),(a,a),(b,b),(c,c),(d,d)},s(R)=RUR1={(a,b),(b,a),(b,c),(c,b)(c,d),(d,c)},t(R)=RUR2UR3UR4={(a,a),(a,b),(a,c),(a,d),(b,a),(b,b),(b,c),(b,d),(c,d)}(2)關(guān)系圖:r(R) s(R) t(R)r(R) s(R) t(R)11.G=(PAQ)V(PAQAR)\=(PAQAR)V(PAQAR)V(PAQAR)=m6Vm7Vm3=(3,6,7)H=(PV(QAR))A(QV(PAR))=(PAQ)V(QAR))V(PAQAR)=(PAQAR)V(PAQAR)V(PAQAR)V(PAQAR)V(PAQAR)=(PAQAR)V(PAQAR)V(PAQAR) /=m6Vm3Vm7=(3,6,7)G,H的主析取范式相同,所以 G=H.1010 0100013.⑴Mr c00 1 0 0 0 1 1Ms0 0 1 0 0 0 00000 0001(2)R?S={(a,b),(c,d)},RUS={(a,a),(a,b),(a,c),(b,c),(b,d),(c,d),(d,d)},R1={(a,a),(c,a),(c,b),(d,c)},S1?R1={(b,a),(d,c)}.四證明題 \.設(shè)A,B為任意集合,證明:(A-B)-C=A-(BUC)..(本題10分)利用形式演繹法證明:{AVB
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 網(wǎng)絡(luò)切片技術(shù)應(yīng)用-第1篇-洞察分析
- 2024年教育機(jī)構(gòu)文員招聘與教學(xué)質(zhì)量提升合同3篇
- 移動(dòng)醫(yī)療慢性病管理解決方案-洞察分析
- 2024年度汽車(chē)4S店店面租賃及車(chē)輛銷(xiāo)售管理合同3篇
- 虛擬現(xiàn)實(shí)培訓(xùn)效果研究-洞察分析
- 采購(gòu)合同跟單中的數(shù)據(jù)分析3篇
- 采購(gòu)合同管理的制度完善3篇
- 采購(gòu)合同執(zhí)行辦法3篇
- 2024年度電商平臺(tái)知識(shí)產(chǎn)權(quán)侵權(quán)糾紛處理協(xié)議3篇
- 采購(gòu)合同風(fēng)險(xiǎn)與應(yīng)對(duì)策略3篇
- MOOC創(chuàng)新創(chuàng)業(yè)與管理基礎(chǔ)(東南大學(xué))
- 醫(yī)療器械經(jīng)營(yíng)質(zhì)量管理制度匯編
- 中國(guó)八大植被區(qū)域劃分
- 自動(dòng)生產(chǎn)排程 SMT 多線體 版
- 鋼筋籠吊裝方案履帶吊
- 中職英語(yǔ)基礎(chǔ)模塊第二版8單元說(shuō)課課件
- 培養(yǎng)教育考察記實(shí)簿
- 110與120聯(lián)動(dòng)協(xié)議書(shū)
- 中國(guó)鐵路總公司鐵路建設(shè)項(xiàng)目監(jiān)理招標(biāo)文件示范文本
- 高三地理一??荚囐|(zhì)量分析報(bào)告課件
- 聚合物鋰電池規(guī)格表
評(píng)論
0/150
提交評(píng)論