探秘離散數學智慧樹知到答案章節(jié)測試2023年濰坊學院

緒論單元測試“離散數學”是隨著計算機的發(fā)展而產生的，相對于“連續(xù)”數學而得名。（）

A:錯

B:對

答案:B《離散數學》課程的學習對培養(yǎng)邏輯思維、抽象思維能力、知識應用能力以及了解計算機科學技術的產生和發(fā)展有重要作用。（）

A:錯

B:對

答案:B課程主要內容都是在計算機科學中有重要應用的數學知識。（）

A:錯

B:對

答案:B課程中的數理邏輯、集合論、圖論、代數系統(tǒng)各部分內容都是相對獨立的，沒有任何聯(lián)系。（）

A:對

B:錯

答案:B以下不是以《離散數學》為先修課的課程是（）。（）

A:《操作系統(tǒng)》

B:《高等數學》

C:《數據結構》

D:《數據庫原理》

答案:B模塊一測試“2+3=5當且僅當19不是素數”的是真命題。（）

A:錯

B:對

答案:A命題公式qù?(p?q)是矛盾式，所以主析取范式不存在。（）

A:對

B:錯

答案:B附加前提證明法適用于結論為B?C的樣式，可以把B附加引入當作前提使用。（）

A:對

B:錯

答案:A求命題公式?(p?q)ùq的主合取范式為：M0ùM1ùM2ùM3，則公式類型為（）。

A:不確定

B:重言式

C:矛盾式

D:可滿足式

答案:C常用證明命題推理是否正確的方法有（）。

A:構造證明法

B:真值表法

C:等值演算法

D:主析取范式法

答案:ABCD模塊二測試謂詞公式$x(F(x)ùG(x,y))不是閉式，因為含有自由變元。（）

A:錯

B:對

答案:B若謂詞公式A在某些解釋下均為真,則稱A為永真式(也叫邏輯有效式).（）

A:錯

B:對

答案:A謂詞”x(F(x)?G(x))是可滿足式。（）

A:對

B:錯

答案:A下列公式是謂詞公式xF(x)xG(x)的前束范式的是（）。（）

A:x(F(x)G(x))

B:xy(F(x)G(y))

C:xy(F(x)G(y))

D:x(F(x)G(x))

答案:CD對謂詞公式”x(F(x,y)?G(x,z))，以下說法正確的是（）。

A:第一個x為指導變元

B:轄域中x的出現(xiàn)均為約束出現(xiàn)

C:y與z均為自由出現(xiàn).

D:(F(x,y)?G(x,z))為”的轄域

答案:ABCD模塊三測試設A={{1，2，3}，{4，5}，{6，7，8}}，下列各式中（）是錯的。

A:A

B:{{4，5}}A

C:{1，2，3}A

D:{6，7，8}A

答案:C設A=,B={,{}}，則B－A是（）。

A:{{}}

B:{}

C:{,{}}

D:

答案:C已知A，B，C為任意集合，若A∪B=A∪C，則B=C。（）

A:錯

B:對

答案:A設A，B為任意集合，不能AB且AB。（）

A:對

B:錯

答案:B若|A|=3，則|P(A)|=8。（）

A:錯

B:對

答案:B模塊四測試設<A，≤>是偏序集，BA，則B的極大元bB且唯一。（）

A:對

B:錯

答案:B若集合A上的關系R是對稱的，則R的逆也是對稱的。（）

A:錯

B:對

答案:B整數集上的不等關系（≠）可確定A的一個劃分。（）

A:對

B:錯

答案:B設集合A、B、C為任意集合，若A×B=A×C，則B=C。（）

A:錯

B:對

答案:A設R={<1,2>,<1,3>}，則R具有傳遞性。（）

A:錯

B:對

答案:B模塊五測試設f和g都是X上的雙射函數，則等于。（）

A:對

B:錯

答案:B集合A上的恒等關系是一個雙射函數。（）

A:錯

B:對

答案:B在一個有n個元素的集合上，有種不同的函數。（）

A:對

B:錯

答案:A設函數f：A→B,A1A，B1B，則函數值f(x)∈B，而像f(A1)B。（）

A:對

B:錯

答案:A設A={1,2,3,4,5}，B={6,7,8,9,10}，函數f：A→B，則f={<1,8>,<3,9>,<4,10>,<2,6>,<5,9>}是單射的。（）

A:錯

B:對

答案:A模塊六測試k-正則圖的每個頂點的度數都相等且為k。（）

A:錯

B:對

答案:B沒有多重邊的圖是簡單圖。（）

A:錯

B:對

答案:A含5個結點，4條邊的無向連通圖（不同構）有3個。（）

A:錯

B:對

答案:B設V={a,b,c,d,e,f}，E={<a,b>,<b,c>,<c,a>,<a,d>,<d,e>,<f,e>}，則有向圖G=<V,E>是（）。

A:不連通的

B:單向連通的

C:弱連通的

D:強連通的

答案:C在任何圖中必定有偶數個的是（）。

A:度數為奇數的結點

B:度數為偶數的結點

C:出度為奇數的結點

D:入度為奇數的結點

答案:A模塊七測試下列圖中（）是根樹。

A:G3=<{a,b,c,d}，{<a,b>,<a,d>,<c,a>}>

B:G1=<{a,b,c,d}，{<a,a>,<a,b>,<c,d>}>

C:G2=<{a,b,c,d}，{<a,b>,<b,d>,<c,d>}>

D:G4=<{a,b,c,d}，{<a,a>,<c,b>,<c,d>}>

答案:A一棵無向樹T有8個頂點，4度、3度、2度的分支點各1個，其余頂點均為樹葉，則T中有5片樹葉。（）

A:錯

B:對

答案:B圖G中的每條邊都是割邊，則G必是樹。（）

A:錯

B:對

答案:A一條回路和任何一棵生成樹至少有一條公共邊。（）

A:錯

B:對

答案:A給定權值相同的哈夫曼樹是唯一的。（）

A:錯

B:對

答案:A模塊八測試能一筆畫出的圖不一定是歐拉圖。（）

A:錯

B:對

答案:A不可能有偶數個結點，奇數條邊的歐拉圖。（）

A:錯

B:對

答案:A如果一個有向圖D是歐拉圖，則D是強連通圖。（）

A:對

B:錯

答案:A完全二部圖Kr,s（r,s≥2且為偶數）中的歐拉回路共含rs條邊。（）

A:對

B:錯

答案:A圖的經典問題“哥尼斯堡七橋問題”與以下哪種圖有關（）。

A:歐拉圖

B:分離圖

C:二部圖

D:哈密頓圖

答案:A模塊九測試設S={1,3,4,12}，任給x,yS,x?y=lcm(x,y),x?y=gcd(x,y),其中l(wèi)cm是求最小公倍數，gcd是求最大公約數.則代數系統(tǒng),<S,?,?>是布爾代數。（）

A:對

B:錯

答案:A設S={0,1,2}，?是模3加法，?是模3乘法.則代數系統(tǒng),<S,?,?>是布爾代數。（）

A:對

B:錯

答案:B兩個代數系統(tǒng)同構，首先必須是同類型的代數系統(tǒng)。（）

A:對

B:錯

答案:A