離散數(shù)學(xué)概念題解與自測

前言

　　離散數(shù)學(xué)不僅是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的必修課程，也是電子信息類專業(yè)和相關(guān)工程技術(shù)人員的必讀課程，該課程是許多院校相關(guān)專業(yè)研究生入學(xué)考試的必考課程之一。本書作為《離散數(shù)學(xué)》課程的輔導(dǎo)教材，特別注重習(xí)題的選擇。習(xí)題的選擇注重突出基本理論、基本概念和基本方法的掌握，又有較靈活和深入的題型。同時(shí)注重解題方法和技巧的運(yùn)用，旨在加深讀者對知識的理解。　　全書共有12章，每章包括：基本要求，內(nèi)容分析和習(xí)題解答三部分，并附有兩套自測試題及答案。本書包括命題演算基礎(chǔ)、命題演算的推理理論、謂詞演算基礎(chǔ)、謂詞演算的推理理論、遞歸函數(shù)論、集合、二元關(guān)系、函數(shù)與集合的勢、圖、樹、群與環(huán)、格與布爾代數(shù)共12章習(xí)題解答。　　本書由朱保平編寫第l至第10章，金忠編寫第11、12章。在編寫過程中，葉有培教授提出了寶貴的修改意見。在此表示誠摯的謝意?！　∮捎诰幷咚接邢?，加之時(shí)間緊迫，習(xí)題量大，書中難免有不足和錯(cuò)誤之處，懇切希望廣大讀者批評指正。

內(nèi)容概要

　　本書對離散數(shù)學(xué)各章節(jié)知識的要點(diǎn)和難點(diǎn)，對解題的方法和技巧作了全面的分析。本書包括命題演算基礎(chǔ)、命題演算的推理理論、謂詞演算基礎(chǔ)、謂詞演算的推理理論、遞歸函數(shù)論、集合、二元關(guān)系、函數(shù)與集合的勢、圖、樹、群與環(huán)、格與布爾代數(shù)共12章內(nèi)容?！　”緯磉_(dá)嚴(yán)謹(jǐn)，推理縝密，提供了大量習(xí)題及其分析與解答。本書可作為高等院校計(jì)算機(jī)科學(xué)與技術(shù)及相關(guān)信息類專業(yè)的教學(xué)參考書，也適用于報(bào)考計(jì)算機(jī)專業(yè)研究生的學(xué)生作為復(fù)習(xí)指導(dǎo)書，也可供教師、研究生和相關(guān)人員作參考書。

書籍目錄

第一章　命題演算基礎(chǔ)1.1　基本要求1.2　內(nèi)容分析1.3　習(xí)題解答第二章　命題演算的推理理論2.1　基本要求2.2　內(nèi)容分析2.3　習(xí)題解答第三章　謂詞演算基礎(chǔ)3.1　基本要求3.2　內(nèi)容分析3.3　習(xí)題解答第四章　謂詞演算的推理理論4.1　基本要求4.2　內(nèi)容分析4.3　習(xí)題解答第五章　遞歸函數(shù)論5.1　基本要求5.2　內(nèi)容分析5.3　習(xí)題解答第六章　集合6.1　基本要求6.2　內(nèi)容分析6.3　習(xí)題解答第七章　二元關(guān)系7.1　基本要求7.2　內(nèi)容分析7.3　習(xí)題解答第八章　函數(shù)與集合的勢8.1　基本要求8.2　內(nèi)容分析8.3　題解答第九章　圖9.1　基本要求9.2　內(nèi)容分析9.3　題解答第十章　樹10.1　基本要求10.2　勺容分析10.3　　題解答第十一章　群與環(huán)11.1　基本要求11.2　內(nèi)容分析11.3　習(xí)題解答第十二章　格與布爾代數(shù)12.1　基本要求12.2　內(nèi)容分析12.3　習(xí)題解答附錄　模擬試卷及解答模擬試卷一模擬試卷二模擬試卷一解答模擬試卷二解答參考文獻(xiàn)

章節(jié)摘錄

　　3.1　基本要求　　1、掌握個(gè)體、個(gè)體變元、謂詞、謂詞變元、函數(shù)和量詞等概念，能夠?qū)⑷粘ＵZ句翻譯為渭詞演算公式?！　?、理解謂詞演算公式、自由出現(xiàn)、約束出現(xiàn)、自由變元、約束變元等概念?！　?、掌握改名和代入的方法，能夠?qū)χ^詞演算公式實(shí)行正確的代入和改名?！　?、掌握謂詞演算公式的真假性、公式的永真性、可滿足性等概念及性質(zhì)。　　5、掌握前束范式、SKOLEM標(biāo)準(zhǔn)形等概念，能夠?qū)⒅^詞演算公式轉(zhuǎn)換為前束范式和、SKOLEM標(biāo)準(zhǔn)形?！　?、了解唯一性量詞和摹狀詞的概念?！　?.2　內(nèi)容分析　　在命題演算中，我們把不可剖開或分解為更簡單命題的原子命題作為基本單元，把語句分解為原子命題，而不對原子命題的內(nèi)部結(jié)構(gòu)加以分析。本章將對原子命題進(jìn)一步剖析，分解為個(gè)體和謂詞。一般地講，原子命題是由若干謂詞和項(xiàng)組成的，我們的目標(biāo)是把日常永真的知識表達(dá)成謂詞演算的形式語言，再加上一些永真的規(guī)則，推出一些新的知識，研究它們的形式結(jié)構(gòu)和邏輯關(guān)系。謂詞演算中語句的符號化是人工智能中知識表示的基礎(chǔ)?！　?.2.1　個(gè)體和謂詞　　定義1：個(gè)體是指具有獨(dú)立意義、獨(dú)立存在的東西?！　《x2：由個(gè)體組成的集合稱為個(gè)體域?！　《x3：所有個(gè)體不管是何種類型的個(gè)體綜合在一起組成的個(gè)體域稱為全總個(gè)體域。用U表示。　　定義4：以個(gè)體域，中的變元為變目的變元稱為個(gè)體域，上的個(gè)體變元。常用X，Y等表示。　　定義5：項(xiàng)是構(gòu)成原子公式的一部分。常量符號是最簡單類型的項(xiàng)，是用來表示論域中的個(gè)體或?qū)嶓w。一般地講，個(gè)體和實(shí)體可以是物理的個(gè)體、人、概念或有名詞的任何事情。項(xiàng)包括實(shí)體、變量符號和函數(shù)符號等?！　《x6：謂詞是指個(gè)體所具有的性質(zhì)或若干個(gè)體之間的關(guān)系。約定用大寫字母A、B、C等表示謂詞?！　《x7：單個(gè)謂詞不構(gòu)成完整的意思，只有當(dāng)謂詞后填以個(gè)體后才能構(gòu)成完整的意義，這種在謂詞后填以個(gè)體后的式子稱為謂詞填式。

編輯推薦

　　《離散數(shù)學(xué)概念題解與自測》可作為高等院校計(jì)算機(jī)科學(xué)與技術(shù)及相關(guān)信息類專業(yè)的教學(xué)參考書，也適用于報(bào)考計(jì)算機(jī)專業(yè)研究生的學(xué)生作為復(fù)習(xí)指導(dǎo)書，也可供教師、研究生和相關(guān)人員作參考書。

圖書封面

評論、評分、閱讀與下載

---

    離散數(shù)學(xué)概念題解與自測 PDF格式下載

---