版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、一、單項選擇題(本大題共15小題,每小題1分,共15分)在每小題列出的四個選項中只有一個選項是符合題目要求的,請將正確選項前的字母填在題后的括號內(nèi)。1.一個連通的無向圖G,如果它的所有結(jié)點的度數(shù)都是偶數(shù),那么它具有一條( )A.漢密爾頓回路 B.歐拉回路C.漢密爾頓通路 D.初級回路2.設(shè)G是連通簡單平面圖,G中有11個頂點5個面,則G中的邊是( )A.10 B.12 C.16 D.143.在布爾代數(shù)L中,表達(dá)式(ab)(abc)(bc)的等價式是( )A.b(ac)B.(ab)(ab)C.(ab)(abc)(bc)D.(bc)(ac)4.設(shè)i是虛數(shù),是復(fù)數(shù)乘法運算,則G=是群,下列是G的子群
2、是( )A. B.-1, C.i, D.-i,5.設(shè)Z為整數(shù)集,A為集合,A的冪集為P(A),+、-、/為數(shù)的加、減、除運算,為集合的交運算,下列系統(tǒng)中是代數(shù)系統(tǒng)的有( )A.Z,+,/ B.Z,/C.Z,-,/ D.P(A),6.下列各代數(shù)系統(tǒng)中不含有零元素的是( )A.Q,*Q是全體有理數(shù)集,*是數(shù)的乘法運算B.Mn(R),*,Mn(R)是全體n階實矩陣集合,*是矩陣乘法運算C.Z,Z是整數(shù)集,定義為xxy=xy,x,yZD.Z,+,Z是整數(shù)集,+是數(shù)的加法運算7.設(shè)A=1,2,3,A上二元關(guān)系R的關(guān)系圖如下:R具有的性質(zhì)是A.自反性B.對稱性C.傳遞性D.反自反性8.設(shè)A=a,b,c,A
3、上二元關(guān)系R=a,a,b,b,a,c,則關(guān)系R的對稱閉包S(R)是( )A.RIA B.R C.Rc,a D.RIA9.設(shè)X=a,b,c,Ix是X上恒等關(guān)系,要使Ixa,b,b,c,c,a,b,aR為X上的等價關(guān)系,R應(yīng)取( )A.c,a,a,c B.c,b,b,aC.c,a,b,a D.a,c,c,b10.下列式子正確的是( )A. B. C. D.11.設(shè)解釋R如下:論域D為實數(shù)集,a=0,f(x,y)=x-y,A(x,y):xy.下列公式在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(
4、x,y),x)D.(x)(y)(A(x,y)A(f(x,a),a)12.設(shè)B是不含變元x的公式,謂詞公式(x)(A(x)B)等價于( )A.(x)A(x)B B.(x)A(x)BC.A(x)B D.(x)A(x)(x)B13.謂詞公式(x)(P(x,y)(z)Q(x,z)(y)R(x,y)中變元x( )A.是自由變元但不是約束變元B.既不是自由變元又不是約束變元C.既是自由變元又是約束變元D.是約束變元但不是自由變元14.若P:他聰明;Q:他用功;則“他雖聰明,但不用功”,可符號化為( )A.PQ B.PQ C.PQ D.PQ15.以下命題公式中,為永假式的是( )A.p(pqr) B.(pp
5、)pC.(qq)p D.(qp)(pp)二、填空題(每空1分,共20分)16.在一棵根樹中,僅有一個結(jié)點的入度為_0_,稱為樹根,其余結(jié)點的入度均為_1_。17.A=1,2,3,4上二元關(guān)系R=2,4,3,3,4,2,R的關(guān)系矩陣MR中m24=_1_,m34=_0_。18.設(shè)s,*是群,則那么s中除_幺元_外,不可能有別的冪等元;若s,*有零元,則|s|=_1_。19.設(shè)A為集合,P(A)為A的冪集,則P(A),是格,若x,yP(A),則x,y最大下界是_,最小上界是_。20.設(shè)函數(shù)f:XY,如果對X中的任意兩個不同的x1和x2,它們的象y1和y2也不同,我們說f是_入射_函數(shù),如果ranf=
6、Y,則稱f是_滿射_函數(shù)。21.設(shè)R為非空集合A上的等價關(guān)系,其等價類記為xR。x,yA,若x,yR,則xR與yR的關(guān)系是_,而若x,yR,則xRyR=_。22.使公式(x)( y)(A(x)B(y)(x)A(x)(y)B(y)成立的條件是_不含有y,_不含有x。23.設(shè)M(x):x是人,D(s):x是要死的,則命題“所有的人都是要死的”可符號化為(x)_,其中量詞(x)的轄域是_。24.若H1H2Hn是_,則稱H1,H2,Hn是相容的,若H1H2Hn是_,則稱H1,H2,Hn是不相容的。25.判斷一個語句是否為命題,首先要看它是否為 ,然后再看它是否具有唯一的 。三、計算題 (共30分)26
7、.(4分)設(shè)有向圖G=(V,E)如下圖所示,試用鄰接矩陣方法求長度為2的路的總數(shù)和回路總數(shù)。27.(5)設(shè)A=a,b,P(A)是A的冪集,是對稱差運算,可以驗證是群。設(shè)n是正整數(shù),求(a-1ba)na-nbnan28.(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,5IA;(1)作出偏序關(guān)系R的哈斯圖(2)令B=1,2,3,5,求B的最大,最小元,極大、極小元,上界,下確界,下界,下確界。29.(6分)求(PQ)(PQ)的主合取范式并給出所有使命題為真的賦值。30.(5分)設(shè)帶權(quán)無向圖G如下,求G的最小生成樹T及T的權(quán)總和,要求寫出解的過
8、程。31.(4分)求公式(x)F(x,y)(y)G(x,y)(x)H(x)的前束范式。四、證明題 (共20分)32.(6分)設(shè)T是非平凡的無向樹,T中度數(shù)最大的頂點有2個,它們的度數(shù)為k(k2),證明T中至少有2k-2片樹葉。33.(8分)設(shè)A是非空集合,F(xiàn)是所有從A到A的雙射函數(shù)的集合,是函數(shù)復(fù)合運算。 證明:F, 是群。34.(6分)在個體域D=a1,a2,,an中證明等價式: (x)(A(x)B(x)(x)A(x)(x)B(x)五、應(yīng)用題(共15分)35.(9分)如果他是計算機(jī)系本科生或者是計算機(jī)系研究生,那么他一定學(xué)過DELPHI語言而且學(xué)過C+語言。只要他學(xué)過DELPHI語言或者C+
9、語言,那么他就會編程序。因此如果他是計算機(jī)系本科生,那么他就會編程序。請用命題邏輯推理方法,證明該推理的有效結(jié)論。36.(6分)一次學(xué)術(shù)會議的理事會共有20個人參加,他們之間有的相互認(rèn)識但有的相互不認(rèn)識。但對任意兩個人,他們各自認(rèn)識的人的數(shù)目之和不小于20。問能否把這20個人排在圓桌旁,使得任意一個人認(rèn)識其旁邊的兩個人?根據(jù)是什么?參考答案一、單項選擇題(本大題共15小題,每小題1分,共15分) 1.B 2.D 3.A 4.A 5.D 6.D 7.D 8.C 9.D 10.B 11.A 12.A 13.C 14.B 15.C二、填空題16.0 117.1 018.單位元 119.xy xy20
10、.入射 滿射21.xR=yR 22.A(x) B(y)23.(M(x)D(x) M(x)D(x)24.可滿足式 永假式(或矛盾式)25.陳述句 真值三、計算題26. M= M2= G中長度為2的路總數(shù)為18,長度為2的回路總數(shù)為6。27.當(dāng)n是偶數(shù)時,xP(A),xn= 當(dāng)n是奇數(shù)時,xP(A),xn=x 于是:當(dāng)n是偶數(shù),(a-1ba)na-nbnan =(a-1)nbnan= 當(dāng)n是奇數(shù)時, (a-1ba)na-nbnan =a-1ba(a-1)nbnan =a-1baa-1ba=28.(1)偏序關(guān)系R的哈斯圖為 (2)B的最大元:無,最小元:無; 極大元:2,5,極小元:1,3 下界:4
11、, 下確界4; 上界:無,上確界:無29.原式(PQ)(PQ)(PQ)(PQ) (PQ)(PQ)(PQ)(PQ) (PQPQ)(PQ)(PQ) (PQ)(PQ) (PQ)(PQ) P(QQ) P(QQ) (PQ)(PQ) 命題為真的賦值是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),則 a1a2a3a4a5=a6=a7=a8a9=a10 取a1的e1T,
12、a2的e2T,a3的e3T,a4的e4T,a5的e5T,即, 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片樹葉,y個分支點。于是T中有x+y個頂點,有x+y-1 條邊,由握手定理知T中所有頂點的度數(shù)之的 =2(x+y-1)。 又樹葉的度為1,任一分支點的度大于等于2 且度最大的頂點必是分支點,于是 x1+2(y-2)+k+k=x+2y+2
13、K-4 從而2(x+y-1)x+2y+2k-4 x2k-233.從定義出發(fā)證明:由于集合A是非空的,故顯然從A到A的雙射函數(shù)總是存在的,如A上恒等函數(shù),因此F非空 (1)f,gF,因為f和g都是A到A的雙射函數(shù),故fg也是A到A的雙射函數(shù),從而集合F關(guān)于運算是封閉的。 (2)f,g,hF,由函數(shù)復(fù)合運算的結(jié)合律有f(gh)=(fg)h故運算是可結(jié)合的。 (3)A上的恒等函數(shù)IA也是A到A的雙射函數(shù)即IAF,且fF有IAf=fIA=f,故IA是F,中的幺元 (4)fF,因為f是雙射函數(shù),故其逆函數(shù)是存在的,也是A到A的雙射函數(shù),且有ff-1=f-1f=IA,因此f-1是f的逆元 由此上知F,是群
14、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ī)系本科生 q:他是計算機(jī)系研究生 r:他學(xué)過DELPHI語言 s:他學(xué)過C+語言 t:他會編程序 前提:(pq)(rs),(rs)t 結(jié)論:pt 證p P(附加前提) pq TI (pq)(rs) P(前提引入) rs TI r TI rs TI (rs)t P(前提引入)
溫馨提示
- 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)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 青海大學(xué)昆侖學(xué)院《模擬電子技術(shù)》2023-2024學(xué)年第一學(xué)期期末試卷
- 青海柴達(dá)木職業(yè)技術(shù)學(xué)院《環(huán)境地學(xué)基礎(chǔ)》2023-2024學(xué)年第一學(xué)期期末試卷
- 基于創(chuàng)新的供應(yīng)鏈管理策略研究
- 青島求實職業(yè)技術(shù)學(xué)院《匯編語言與逆向工程》2023-2024學(xué)年第一學(xué)期期末試卷
- 青島農(nóng)業(yè)大學(xué)海都學(xué)院《高級時裝設(shè)計》2023-2024學(xué)年第一學(xué)期期末試卷
- 勞務(wù)合同管理與指南
- 急性腎衰竭患者的護(hù)理
- 產(chǎn)品研發(fā)與創(chuàng)新管理策略研究
- 未來五年民辦職業(yè)院校發(fā)展戰(zhàn)略規(guī)劃
- 幼兒園抗肺炎課程設(shè)計
- 李商隱詩歌《錦瑟》課件
- 世界文化遺產(chǎn)-樂山大佛課件
- 2022小學(xué)一年級數(shù)學(xué)活用從不同角度解決問題測試卷(一)含答案
- 博爾赫斯簡介課件
- 2021年山東交投礦業(yè)有限公司招聘筆試試題及答案解析
- 施工單位資料檢查內(nèi)容
- 大氣課設(shè)-酸洗廢氣凈化系統(tǒng)
- 學(xué)校校慶等大型活動安全應(yīng)急預(yù)案
- 檢測公司檢驗檢測工作控制程序
- 高血壓病例優(yōu)秀PPT課件
- 精密電主軸PPT課件
評論
0/150
提交評論