版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
...wd......wd......wd...一、單項(xiàng)選擇題(本大題共15小題,每題1分,共15分)在每題列出的四個(gè)選項(xiàng)中只有一個(gè)選項(xiàng)是符合題目要求的,請(qǐng)將正確選項(xiàng)前的字母填在題后的括號(hào)內(nèi)。1.一個(gè)連通的無(wú)向圖G,如果它的所有結(jié)點(diǎn)的度數(shù)都是偶數(shù),那么它具有一條()A.漢密爾頓回路B.歐拉回路C.漢密爾頓通路D.初級(jí)回路2.設(shè)G是連通簡(jiǎn)單平面圖,G中有11個(gè)頂點(diǎn)5個(gè)面,則G中的邊是()A.10B.12C.16D.143.在布爾代數(shù)L中,表達(dá)式(a∧b)∨(a∧b∧c)∨(b∧c)的等價(jià)式是()A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.設(shè)i是虛數(shù),·是復(fù)數(shù)乘法運(yùn)算,則G=<{1,-1,i,-i},·>是群,以下是G的子群是()A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.設(shè)Z為整數(shù)集,A為集合,A的冪集為P(A),+、-、/為數(shù)的加、減、除運(yùn)算,∩為集合的交運(yùn)算,以下系統(tǒng)中是代數(shù)系統(tǒng)的有()A.〈Z,+,/〉B.〈Z,/〉C.〈Z,-,/〉D.〈P(A),∩〉6.以下各代數(shù)系統(tǒng)中不含有零元素的是()A.〈Q,*〉Q是全體有理數(shù)集,*是數(shù)的乘法運(yùn)算B.〈Mn(R),*〉,Mn(R)是全體n階實(shí)矩陣集合,*是矩陣乘法運(yùn)算C.〈Z,〉,Z是整數(shù)集,定義為xxy=xy,x,y∈ZD.〈Z,+〉,Z是整數(shù)集,+是數(shù)的加法運(yùn)算7.設(shè)A={1,2,3},A上二元關(guān)系R的關(guān)系圖如下:R具有的性質(zhì)是A.自反性B.對(duì)稱性C.傳遞性D.反自反性8.設(shè)A={a,b,c},A上二元關(guān)系R={〈a,a〉,〈b,b〉,〈a,c〉},則關(guān)系R的對(duì)稱閉包S(R)是()A.R∪IAB.RC.R∪{〈c,a〉}D.R∩IA9.設(shè)X={a,b,c},Ix是X上恒等關(guān)系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R為X上的等價(jià)關(guān)系,R應(yīng)取()A.{〈c,a〉,〈a,c〉}B.{〈c,b〉,〈b,a〉}C.{〈c,a〉,〈b,a〉}D.{〈a,c〉,〈c,b〉}10.以下式子正確的選項(xiàng)是()A.∈B.C.{}D.{}∈11.設(shè)解釋R如下:論域D為實(shí)數(shù)集,a=0,f(x,y)=x-y,A(x,y):x<y.以下公式在R下為真的是()A.(x)(y)(z)(A(x,y))→A(f(x,z),f(y,z))B.(x)A(f(a,x),a)C.(x)(y)〔A(f(x,y),x))D.(x)(y)(A(x,y)→A(f(x,a),a))12.設(shè)B是不含變?cè)獂的公式,謂詞公式(x)(A(x)→B)等價(jià)于()A.(x)A(x)→BB.(x)A(x)→BC.A(x)→BD.(x)A(x)→(x)B13.謂詞公式(x)(P(x,y))→(z)Q(x,z)∧(y)R(x,y)中變?cè)獂()A.是自由變?cè)皇羌s束變?cè)狟.既不是自由變?cè)植皇羌s束變?cè)狢.既是自由變?cè)质羌s束變?cè)狣.是約束變?cè)皇亲杂勺冊(cè)?4.假設(shè)P:他聰明;Q:他用功;則“他雖聰明,但不用功〞,可符號(hào)化為()A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命題公式中,為永假式的是()A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空題(每空1分,共20分)16.在一棵根樹(shù)中,僅有一個(gè)結(jié)點(diǎn)的入度為_(kāi)_____,稱為樹(shù)根,其余結(jié)點(diǎn)的入度均為_(kāi)_____。17.A={1,2,3,4}上二元關(guān)系R={〈2,4〉,〈3,3〉,〈4,2〉},R的關(guān)系矩陣MR中m24=______,m34=______。18.設(shè)〈s,*〉是群,則那么s中除______外,不可能有別的冪等元;假設(shè)〈s,*〉有零元,則|s|=______。19.設(shè)A為集合,P(A)為A的冪集,則〈P(A),〉是格,假設(shè)x,y∈P(A),則x,y最大下界是______,最小上界是______。20.設(shè)函數(shù)f:X→Y,如果對(duì)X中的任意兩個(gè)不同的x1和x2,它們的象y1和y2也不同,我們說(shuō)f是______函數(shù),如果ranf=Y,則稱f是______函數(shù)。21.設(shè)R為非空集合A上的等價(jià)關(guān)系,其等價(jià)類記為〔x〕R。x,y∈A,假設(shè)〈x,y〉∈R,則〔x〕R與〔y〕R的關(guān)系是______,而假設(shè)〈x,y〉R,則〔x〕R∩〔y〕R=______。22.使公式(x)(y)(A(x)∧B(y))(x)A(x)∧(y)B(y)成立的條件是______不含有y,______不含有x。23.設(shè)M(x):x是人,D(s):x是要死的,則命題“所有的人都是要死的〞可符號(hào)化為(x)______,其中量詞(x)的轄域是______。24.假設(shè)H1∧H2∧…∧Hn是______,則稱H1,H2,…Hn是相容的,假設(shè)H1∧H2∧…∧Hn是______,則稱H1,H2,…Hn是不相容的。25.判斷一個(gè)語(yǔ)句是否為命題,首先要看它是否為,然后再看它是否具有唯一的。三、計(jì)算題(共30分)26.(4分)設(shè)有向圖G=(V,E)如以以以下圖所示,試用鄰接矩陣方法求長(zhǎng)度為2的路的總數(shù)和回路總數(shù)。27.(5)設(shè)A={a,b},P(A)是A的冪集,是對(duì)稱差運(yùn)算,可以驗(yàn)證<P(A),>是群。設(shè)n是正整數(shù),求({a}-1{a})n{a}-nn{a}n28.(6分)設(shè)A={1,2,3,4,5},A上偏序關(guān)系R={〈1,2〉,〈3,2〉,〈4,1〉,〈4,2〉,〈4,3〉,〈3,5〉,〈4,5〉}∪IA;(1)作出偏序關(guān)系R的哈斯圖(2)令B={1,2,3,5},求B的最大,最小元,極大、極小元,上界,下確界,下界,下確界。29.(6分)求┐(P→Q)(P→┐Q)的主合取范式并給出所有使命題為真的賦值。30.(5分)設(shè)帶權(quán)無(wú)向圖G如下,求G的最小生成樹(shù)T及T的權(quán)總和,要求寫(xiě)出解的過(guò)程。31.(4分)求公式┐((x)F(x,y)→(y)G(x,y))∨(x)H(x)的前束范式。四、證明題(共20分)32.(6分)設(shè)T是非平凡的無(wú)向樹(shù),T中度數(shù)最大的頂點(diǎn)有2個(gè),它們的度數(shù)為k(k≥2),證明T中至少有2k-2片樹(shù)葉。33.(8分)設(shè)A是非空集合,F(xiàn)是所有從A到A的雙射函數(shù)的集合,是函數(shù)復(fù)合運(yùn)算。證明:〈F,〉是群。34.(6分)在個(gè)體域D={a1,a2,…,an}中證明等價(jià)式:(x)(A(x)→B(x))(x)A(x)→(x)B(x)五、應(yīng)用題(共15分)35.(9分)如果他是計(jì)算機(jī)系本科生或者是計(jì)算機(jī)系研究生,那么他一定學(xué)過(guò)DELPHI語(yǔ)言而且學(xué)過(guò)C++語(yǔ)言。只要他學(xué)過(guò)DELPHI語(yǔ)言或者C++語(yǔ)言,那么他就會(huì)編程序。因此如果他是計(jì)算機(jī)系本科生,那么他就會(huì)編程序。請(qǐng)用命題邏輯推理方法,證明該推理的有效結(jié)論。36.(6分)一次學(xué)術(shù)會(huì)議的理事會(huì)共有20個(gè)人參加,他們之間有的相互認(rèn)識(shí)但有的相互不認(rèn)識(shí)。但對(duì)任意兩個(gè)人,他們各自認(rèn)識(shí)的人的數(shù)目之和不小于20。問(wèn)能否把這20個(gè)人排在圓桌旁,使得任意一個(gè)人認(rèn)識(shí)其旁邊的兩個(gè)人?根據(jù)是什么?參考答案一、單項(xiàng)選擇題(本大題共15小題,每題1分,共15分)1.B2.D3.A4.A5.D6.D7.D8.C9.D10.B11.A12.A13.C14.B15.C二、填空題16.0117.1018.單位元119.x∩yx∪y20.入射滿射21.[x]R=[y]R22.A(x)B(y)23.(M(x)→D(x))M(x)→D(x)24.可滿足式永假式(或矛盾式)25.陳述句真值三、計(jì)算題26.M=M2=G中長(zhǎng)度為2的路總數(shù)為18,長(zhǎng)度為2的回路總數(shù)為6。27.當(dāng)n是偶數(shù)時(shí),x∈P(A),xn=當(dāng)n是奇數(shù)時(shí),x∈P(A),xn=x于是:當(dāng)n是偶數(shù),({a}-1{b}{a})n{a}-n{b}n{a}n=({a}-1)n{b}n{a}n=當(dāng)n是奇數(shù)時(shí),({a}-1{b}{a})n{a}-n{b}n{a}n={a}-1{b}{a}({a}-1)n{b}n{a}n={a}-1{b}{a}{a}-1{b}{a}=28.(1)偏序關(guān)系R的哈斯圖為(2)B的最大元:無(wú),最小元:無(wú);極大元:2,5,極小元:1,3下界:4,下確界4;上界:無(wú),上確界:無(wú)29.原式(┐(P→Q)→(P→┐Q))∧((P→┐Q)→┐(P→Q))((P→Q)∨(P→┐Q))∧(┐(P→┐Q)∨┐(P→Q))(┐P∨Q∨┐P∨┐Q)∧(┐(┐P∨┐Q)∨(P∧┐Q))(┐(P∧┐Q)∨(P∧┐Q))(P∧Q)∨(P∧┐Q)P∧(Q∨┐Q)P∨(Q∧┐Q)(P∨Q)∧(P∨┐Q)命題為真的賦值是P=1,Q=0和P=1,Q=130.令e1=(v1,v3),e2=(v4,v6)e3=(v2,v5),e4=(v3,v6)e5=(v2,v3),e6=(v1,v2)e7=(v1,v4),e8=(v4,v3)e9=(v3,v5),e10=(v5,v6)令ai為ei上的權(quán),則a1<a2<a3<a4<a5=a6=a7=a8<a9=a10取a1的e1∈T,a2的e2∈T,a3的e3∈T,a4的e4∈T,a5的e5∈T,即,T的總權(quán)和=1+2+3+4+5=1531.原式┐(x1F(x1,y)→y1G(x,y1))∨x2H(x2)(換名)┐x1y1(F(x1,y)→G(x,y1))∨x2H(x2)x1y1┐(F(x1,y1)→G(x,y1))∨x2H(x2)x1y1x2(┐(F(x1,y1)→G(x,y1))∨H(x2)四、證明題32.設(shè)T中有x片樹(shù)葉,y個(gè)分支點(diǎn)。于是T中有x+y個(gè)頂點(diǎn),有x+y-1條邊,由握手定理知T中所有頂點(diǎn)的度數(shù)之的=2(x+y-1)。又樹(shù)葉的度為1,任一分支點(diǎn)的度大于等于2且度最大的頂點(diǎn)必是分支點(diǎn),于是≥x·1+2(y-2)+k+k=x+2y+2K-4從而2(x+y-1)≥x+2y+2k-4x≥2k-233.從定義出發(fā)證明:由于集合A是非空的,故顯然從A到A的雙射函數(shù)總是存在的,如A上恒等函數(shù),因此F非空(1)f,g∈F,因?yàn)閒和g都是A到A的雙射函數(shù),故fg也是A到A的雙射函數(shù),從而集合F關(guān)于運(yùn)算是封閉的。(2)f,g,h∈F,由函數(shù)復(fù)合運(yùn)算的結(jié)合律有f(gh)=(fg)h故運(yùn)算是可結(jié)合的。(3)A上的恒等函數(shù)IA也是A到A的雙射函數(shù)即IA∈F,且f∈F有IAf=fIA=f,故IA是〈F,〉中的幺元(4)f∈F,因?yàn)閒是雙射函數(shù),故其逆函數(shù)是存在的,也是A到A的雙射函數(shù),且有ff-1=f-1f=IA,因此f-1是f的逆元由此上知〈F,〉是群34.證明(x)(A(x)→B(x))x(┐A(x)∨B(x))(┐A(a1)∨B(a1))∨(┐A(a2)∨B(a2))∨…∨(┐A(an)∨B(an)))(┐A(a1)∨A(a2)∨…∨┐A(an)∨(B(a1)∨B(a2)∨…∨(B(an))┐(A(a1)∧A(a2)∧…∧A(an))∨(┐B(a1)∨B(a2)∨…∨(B(an))┐(x)A(x)∨(x)B(x)(x)A(x)→(x)B(x)五、應(yīng)用題35.令p:他是計(jì)算機(jī)系本科生q:他是計(jì)算機(jī)系研究生r:他學(xué)過(guò)DELPHI語(yǔ)言s:他學(xué)過(guò)C++語(yǔ)言t:他會(huì)編程序前提:(p∨q)→(r∧s),(r∨s)→t結(jié)論:p→t證①pP(附加前提)②p∨qT①I(mǎi)③(p∨q)→(r∧s)P(前提引入)④r∧sT②③I⑤rT④I⑥r(nóng)∨sT⑤I⑦(r∨s)→tP(前提引入)⑧tT⑤⑥I36.可以把這20個(gè)人排在圓桌旁,使得任一人認(rèn)識(shí)其旁邊的兩個(gè)人。根據(jù):構(gòu)造無(wú)向簡(jiǎn)單圖G=<V,E>,其中V={v1,v2,…,V20}是以20個(gè)人為頂點(diǎn)的集合,E中的邊是假設(shè)任兩個(gè)人vi和vj相互認(rèn)識(shí)則在vi與vj之間連一條邊。Vi∈V,d(vi)是與vi相互認(rèn)識(shí)的人的數(shù)目,由題意知vi,vj∈V有d(vi)+d(vj)20,于是G中存在漢密爾頓回路。設(shè)C=Vi1Vi2…Vi20Vi1是G中一條漢密爾頓回路,按這條回路的順序按其排座位即符合要求。一、單項(xiàng)選擇題〔本大題共15小題,每題1分,共15分〕在每題列出的四個(gè)備選項(xiàng)中只有一個(gè)是符合題目要求的,請(qǐng)將其代碼填寫(xiě)在題后的括號(hào)內(nèi)。錯(cuò)選、多項(xiàng)選擇或未選均無(wú)分。1.以下是兩個(gè)命題變?cè)猵,q的小項(xiàng)是〔〕A.p∧┐p∧q B.┐p∨qC.┐p∧q D.┐p∨p∨q2.令p:今天下雪了,q:路滑,則命題“雖然今天下雪了,但是路不滑〞可符號(hào)化為〔〕A.p→┐q B.p∨┐qC.p∧q D.p∧┐q3.以下語(yǔ)句中是命題的只有〔〕A.1+1=10 B.x+y=10C.sinx+siny<0 D.xmod3=24.以下等值式不正確的選項(xiàng)是〔〕A.┐(x)A(x)┐AB.(x)(B→A(x))B→(x)A(x)C.(x)(A(x)∧B(x))(x)A(x)∧(x)B(x)D.(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y)5.謂詞公式(x)P(x,y)∧(x)(Q(x,z)→(x)(y)R(x,y,z)中量詞x的轄域是〔〕A.(x)Q(x,z)→(x)(y)R(x,y,z))B.Q(x,z)→(y)R(x,y,z)C.Q(x,z)→(x)(y)R(x,y,z)D.Q(x,z)6.設(shè)R為實(shí)數(shù)集,函數(shù)f:R→R,f(x)=2x,則f是〔〕A.滿射函數(shù) B.入射函數(shù)C.雙射函數(shù) D.非入射非滿射7.設(shè)A={a,b,c,d},A上的等價(jià)關(guān)系R={<a,b>,<b,a>,<c,d>,<d,c>}∪IA,則對(duì)應(yīng)于R的A的劃分是〔〕A.{{a},{b,c},b5ffhzh} B.{{a,b},{c},fd31rvf}C.{{a},,{c},zt31frx} D.{{a,b},{c,d}}8.設(shè)A={?},B=P(P(A)),以下正確的式子是〔〕A.{?,{?}}∈B B.{{?,?}}∈BC.{{?},{{?}}}∈B D.{?,{{?}}}∈B9.設(shè)X,Y,Z是集合,一是集合相對(duì)補(bǔ)運(yùn)算,以下等式不正確的選項(xiàng)是〔〕A.(X-Y)-Z=X-(Y∩Z)B.(X-Y)-Z=(X-Z)-YC.(X-Y)-Z=(X-Z)-(Y-Z)D.(X-Y)-Z=X-(Y∪Z)10.設(shè)*是集合A上的二元運(yùn)算,稱Z是A上關(guān)于運(yùn)算*的零元,假設(shè)〔〕A.有x*Z=Z*x=ZB.ZA,且有x*Z=Z*x=ZC.ZA,且有x*Z=Z*x=xD.ZA,且有x*Z=Z*x=Z11.在自然數(shù)集N上,以下定義的運(yùn)算中不可結(jié)合的只有〔〕A.a(chǎn)*b=min(a,b)B.a(chǎn)*b=a+bC.a(chǎn)*b=GCD(a,b)(a,b的最大公約數(shù))D.a(chǎn)*b=a(modb)12.設(shè)R為實(shí)數(shù)集,R+={x|x∈R∧x>0},*是數(shù)的乘法運(yùn)算,<R+,*>是一個(gè)群,則以下集合關(guān)于數(shù)的乘法運(yùn)算構(gòu)成該群的子群的是〔〕A.{R+中的有理數(shù)} B.{R+中的無(wú)理數(shù)}C.{R+中的自然數(shù)} D.{1,2,3}13.設(shè)<A,*,>是環(huán),則以下正確的選項(xiàng)是〔〕A.<A,>是交換群 B.<A,*>是加法群C.對(duì)*是可分配的 D.*對(duì)是可分配的14.以下各圖不是歐拉圖的是〔〕15.設(shè)G是連通平面圖,G中有6個(gè)頂點(diǎn)8條邊,則G的面的數(shù)目是〔〕A.2個(gè)面 B.3個(gè)面C.4個(gè)面 D.5個(gè)面第二局部非選擇題〔共85分〕二、填空題〔本大題共10小題,每空1分,共20分〕請(qǐng)?jiān)诿款}的空格中填上正確答案。錯(cuò)填、不填均無(wú)分。16.一公式為之充分必要條件是其析取范式之每一析取項(xiàng)中均必同時(shí)包含一命題變?cè)捌浞裾J(rèn);一公式為之充分必要條件是其合取范式之每一合取項(xiàng)中均必同時(shí)包含一命題變?cè)捌浞裾J(rèn)。17.前束范式具有形式(Q1V1)(Q2V2)…(QnVn)A,其中Qi(1≤i≤n)為,A為的謂詞公式。18.設(shè)論域是{a,b,c},則(x)S(x)等價(jià)于命題公式;()S(x)等價(jià)于命題公式。19.設(shè)R為A上的關(guān)系,則R的自反閉包r(R)=,對(duì)稱閉包s(R)=。20.某集合A上的二元關(guān)系R具有對(duì)稱性,反對(duì)稱性,自反性和傳遞性,此關(guān)系R是,其關(guān)系矩陣是。21.設(shè)<S,≤>是
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 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ì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2024年貨車出租協(xié)議樣本
- 2024年進(jìn)口天然石材荒料銷售協(xié)議
- 2024年創(chuàng)新型醫(yī)療器械研發(fā)合作協(xié)議
- 2024商業(yè)交易促成居間協(xié)議樣本
- 2024年度跨國(guó)商業(yè)合作協(xié)議模板
- 2024年工業(yè)產(chǎn)品銷售代理規(guī)范協(xié)議
- 2024年產(chǎn)糧油大米訂購(gòu)協(xié)議
- 湖北省黃岡市2024-2025學(xué)年高二上學(xué)期11月階段性聯(lián)考英語(yǔ)試題(含解析含聽(tīng)力原文無(wú)音頻)
- 2024通信工程細(xì)化分包協(xié)議示例
- 2024年汽車租賃行業(yè)化協(xié)議范本
- 安全使用家電和煤氣課件
- 《GPS測(cè)量與數(shù)據(jù)處理》-第3講 全球定位系統(tǒng)組成及信號(hào)結(jié)構(gòu)
- 前置胎盤(pán)詳解課件
- 達(dá)爾文的“進(jìn)化論”課件
- 國(guó)開(kāi)電大《建筑測(cè)量》實(shí)驗(yàn)報(bào)告1
- 《火災(zāi)自動(dòng)報(bào)警系統(tǒng)設(shè)計(jì)規(guī)范》
- 南京市小學(xué)一年級(jí)語(yǔ)文上學(xué)期期中試卷
- 合肥工業(yè)大學(xué)-孫冠東-答辯通用PPT模板
- 國(guó)開(kāi)作業(yè)《管理學(xué)基礎(chǔ)》管理實(shí)訓(xùn):第一章訪問(wèn)一個(gè)工商企業(yè)或一位管理者參考(含答案)280
- 食安員抽考必備知識(shí)考試題庫(kù)(含答案)
- 膀胱過(guò)度活動(dòng)癥的診斷與治療
評(píng)論
0/150
提交評(píng)論