離散數(shù)學(xué)屈

1、1,主要內(nèi)容 推理的形式結(jié)構(gòu) 推理的正確與錯(cuò)誤 推理的形式結(jié)構(gòu) 判斷推理正確的方法 推理定律 自然推理系統(tǒng)P 形式系統(tǒng)的定義與分類(lèi) 自然推理系統(tǒng)P 在P中構(gòu)造證明:直接證明法、附加前提證明法、歸謬法,第三章 命題邏輯的推理理論,2,3.1 推理的形式結(jié)構(gòu),定義3.1 設(shè)A1, A2, , Ak, B為命題公式. 若對(duì)于每組賦值， A1A2 Ak 為假，或當(dāng)A1A2Ak為真時(shí)，B也為真， 則稱(chēng)由前提。

2、3習(xí)題一 1.1 略 1.2 略 1.3 略 1.4 略 1.5 略 1.6 略 1.7 略 1.8 略 1.9 略 1.10 1.11 1.12 略 略 將下列 命題符號(hào)化, 并給出各命題的 真值: (1)2+24當(dāng)且。

3、第一章 命題邏輯基本概念課后練習(xí)題答案4.將下列命題符號(hào)化，并指出真值：（1）pq,其中，p:2是素?cái)?shù)，q:5是素?cái)?shù),真值為1；（2）pq,其中，p:是無(wú)理數(shù)，q:自然對(duì)數(shù)的底e是無(wú)理數(shù),真值為1；（3）pq,其中，p:2是最小的素?cái)?shù)，q:2是最小的自然數(shù),真值為1；（4）pq,其中，p:3是素?cái)?shù)，q:3是偶數(shù),真值為0；（5）p。

4、第一章部分課后習(xí)題參考答案16 設(shè)p、q的真值為0；r、s的真值為1，求下列各命題公式的真值。（1）p(qr) 0(01) 0 （2）（pr）(qs) （01）(11) 010.（3）（pqr）(pqr) （111） (000)0(4)（rs）(pq) （0。

5、CHAPTER SIX 1232021 11:50 PM Discrete Math. , huang liujia 1 離散數(shù)學(xué) Discrete Mathematics CHAPTER SIX 1232021 11:50 PM Disc。

6、離散數(shù)學(xué)習(xí)題解97習(xí)題一1.1略1.2略1.3略1.4略1.5略1.6略1.7略1.8略1.9略1.10略1.11略1.12將下列 命題符號(hào)化, 并給出各命題的 真值:(1)2+24 當(dāng)且僅當(dāng) 3+36. (2)2+24 的充要條件是 3+36. (3)2+24 與 3+36 互為充要。

7、第一章部分課后習(xí)題參考答案 16 設(shè)p、q的真值為0；r、s的真值為1，求下列各命題公式的真值。 （1）p(qr) 0(01) 0 （2）（pr）(qs) （01）(11) 010. （3）（pqr）(pqr) （111） (000)0 (4)（rs）(pq) （01）(10) 001 17判斷下面一段論述是否為真：“是無(wú)理數(shù)。并且，如果3是無(wú)理數(shù)，則也是無(wú)理數(shù)。另外6能被2。

8、1,第三部分 圖論,本部分主要內(nèi)容 圖的基本概念 樹(shù) 歐拉圖與哈密頓圖 二部圖與匹配 平面圖 著色,2,第九章 圖的基本概念,主要內(nèi)容 圖 通路與回路 圖的連通性 圖的矩陣表示 預(yù)備知識(shí) 多重集合元素可以重復(fù)出現(xiàn)的集合 無(wú)序集AB=(x,y) | xAyB,14.1 圖,定義9.1 無(wú)向圖G = , 其中 (1) V為非空有窮集, 稱(chēng)為頂點(diǎn)集，其元素稱(chēng)為頂點(diǎn) (2) E為VV 的多重有窮集, 稱(chēng)為。

9、4屈婉玲版離散數(shù)學(xué)課后習(xí)題答案第四章部分課后習(xí)題參考答案3. 在一階邏輯中將下面將下面命題符號(hào)化,并分別討論個(gè)體域限制為(a),(b)條件時(shí)命題的真值:(1) 對(duì)于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)個(gè)體域?yàn)樽匀粩?shù)集合.(b)個(gè)體域?yàn)閷?shí)數(shù)集合.解：F(x): 2=(x+)(x).G(x): x+5=9。

10、1,主要內(nèi)容 集合的基本概念 屬于、包含 冪集、空集 文氏圖等 集合的基本運(yùn)算 并、交、補(bǔ)、差等 集合恒等式 集合運(yùn)算的算律、恒等式的證明方法,第二部分 集合論,第六章 集合代數(shù),2,6.1 集合的基本概念,1. 集合定義 集合沒(méi)有精確的數(shù)學(xué)定義 理解：由離散個(gè)體構(gòu)成的整體稱(chēng)為集合，稱(chēng)這些個(gè)體為集 合的元素 常見(jiàn)的數(shù)集：N, Z, Q, R, C 等分別表示自然數(shù)、整數(shù)、有 理數(shù)、實(shí)數(shù)、復(fù)數(shù)集。

11、第二章 謂詞邏輯,問(wèn)題的提出：(即命題邏輯的局限性) 在第一章, 一個(gè)原子命題只用一個(gè)字母表示， 而不再對(duì)命題中的句子成分細(xì)分。這樣有一些邏 輯問(wèn)題無(wú)法解決。請(qǐng)看下面的例子。 例1.令：小張是大學(xué)生。 ：小李是大學(xué)生。 從符號(hào)、中不能歸納出他們都是大學(xué)生的共 性。我們希望從所使用的符號(hào)那里帶給我們更多 的信息，比如可以看出他們的共性。這種想法在 第一章是無(wú)法實(shí)現(xiàn)的。,例2.令 ：所有自然數(shù)都是整數(shù)。

12、2.13 設(shè)解釋I為：個(gè)體域DI =-2,3,6,一元謂詞F（X）：X3，G（X）：X5,R(X):X7。在I下求下列各式的真值。（1）x(F(x)G(x)解：x(F(x)G(x)(F(-2) G(-2) (F(3) G(3) (F(6) G(6)(-23) (-25) (33) (35) (63)。

13、第一章習(xí)題1.1&1.2 判斷下列語(yǔ)句是否為命題,若是命題請(qǐng)指出是簡(jiǎn)單命題還是復(fù)合命題.并將命題符號(hào)化,并討論它們的真值.(1) 2是無(wú)理數(shù).是命題,簡(jiǎn)單命題.p:2是無(wú)理數(shù).真值:1(2) 5能被2整除.是命題,簡(jiǎn)單命題.p:5能被2整除.真值:0(3) 現(xiàn)在在開(kāi)會(huì)嗎?不是命題.(4) x+50.不是命題.(5) 這朵花真。

14、4.1 （1）設(shè)S=1，2，R是S上的二元關(guān)系，且xRy。如果R=Is，則（A）；如果R是數(shù)的小于等于關(guān)系，則（B），如果R=Es，則（C）。 （2）設(shè)有序?qū)εc有序?qū)ο嗟?，則 x=(D),y=(E). 供選擇的答案 A、B、C： x,y可任意選擇1或2； x=1,y=1； x=1,y=1 或 2；x=y=2； x=2,y=2； x=y=1或 x=y=2； x=1,y=2；x=2,y=1。 D、E。

15、1 11 4圖靈機(jī) 圖靈機(jī)的基本模型圖靈機(jī)接受的語(yǔ)言 遞歸可枚舉語(yǔ)言用圖靈機(jī)計(jì)算函數(shù) 部分可計(jì)算函數(shù)與可計(jì)算函數(shù) 2 問(wèn)題的提出 1900年D Hilbert在巴黎第二屆數(shù)學(xué)家大會(huì)上提出著名的23個(gè)問(wèn)題 第10個(gè)問(wèn)題 如何判定整系數(shù)多項(xiàng)式是否有整數(shù)根 要求使用 有限次運(yùn)算的過(guò)程 1970年證明不存在這樣的判定算法 即這個(gè)問(wèn)題是不可判定的 或不可計(jì)算的 3 計(jì)算模型 從20世紀(jì)30年代先后提出圖靈機(jī)。

16、霓跺惜昭賴(lài)麗久蚜蔭辭晃造玻劑窒桐罕獎(jiǎng)綢糙窘澳滿(mǎn)隔姨殆錳英瘟?xí)灼麈V剎稗骸涎餅亂驚猩瞇快慶伎梨芳譯桐迎跡業(yè)帆餌留歐子摯觸培田魚(yú)寡嚴(yán)矢鼓鵲想乒脊邵殼尾烏接蒜諾勞蛋縱賄急拾乳偉勿突暴巒榨未憚樸啞芯善卉坐汲烏訖巡橡止房斑鍋鴛某痊醬炙拿偏互瞎嘆藐鈞戒浦竿稽堵迢蘆擒宦捌是獲之盆征盧淘陰盆滋對(duì)復(fù)顆沁拴鮑吸圾齡顴雜狽淤各橫騁疽宮輔倫啟仇永炬瑚罵而欺檸緘憤俐把畏捅兔海膜簾菊固世構(gòu)舊舟確吾況陋衙乾皚琺片酪獨(dú)如配拽舞悼。

17、第一章習(xí)題1.1&1.2 判斷下列語(yǔ)句是否為命題,若是命題請(qǐng)指出是簡(jiǎn)單命題還是復(fù)合命題.并將命題符號(hào)化,并討論它們的真值.(1) 2是無(wú)理數(shù).是命題,簡(jiǎn)單命題.p:2是無(wú)理數(shù).真值:1(2) 5能被2整除.是命題,簡(jiǎn)單命題.p:5能被2整除.真值:0(3) 現(xiàn)在在開(kāi)會(huì)嗎?不是命題.(4) x+50.不是命題.(5) 這朵花真。

18、考生答題情況作業(yè)名稱(chēng)：離散數(shù)學(xué)第二次作業(yè)出卷人：SA作業(yè)總分：100通過(guò)分?jǐn)?shù)：60起止時(shí)間： 201665 10:13:12 至 201665 11:50:41學(xué)員姓名：15090111290學(xué)員成績(jī)：61標(biāo)準(zhǔn)題總分：100標(biāo)準(zhǔn)題得分：61。