離散數(shù)學(xué)及其應(yīng)用

定　價(jià)：￥28.00

作　者：	徐鳳生主編
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	高等院校計(jì)算機(jī)教材系列
標(biāo)　簽：	離散數(shù)學(xué)

購(gòu)買這本書(shū)可以去

當(dāng)當(dāng)網(wǎng) (￥21.00)

ISBN：	9787111190585	出版時(shí)間：	2006-08-01	包裝：	膠版紙
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	258	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)系統(tǒng)講解離散數(shù)學(xué)基礎(chǔ)知識(shí)和應(yīng)用方法，由六部分構(gòu)成：第一部分?jǐn)?shù)理邏輯，內(nèi)容包括命題邏輯和謂詞邏輯；第二部分集合論，內(nèi)容包括集合的基本知識(shí)、排列與組合、遞推關(guān)系、集合論在命題邏輯中的應(yīng)用、關(guān)系、函數(shù)、經(jīng)典集合的擴(kuò)展等；第三部分?jǐn)?shù)論，內(nèi)容包括整除和同余；第四部分代數(shù)系統(tǒng)，內(nèi)容包括代數(shù)系統(tǒng)的基本概念及性質(zhì)、半群、獨(dú)異點(diǎn)、群、環(huán)、域、布爾代數(shù)等；第五部分圖論，內(nèi)容包括圖的基本概念及矩陣表示、幾類重要的圖、最短路徑、關(guān)鍵路徑等：第六部分計(jì)算機(jī)科學(xué)中的應(yīng)用，內(nèi)容包括形式語(yǔ)言與自動(dòng)機(jī)、糾錯(cuò)碼等。.本書(shū)在內(nèi)容安排上，突出由淺入深、循序漸進(jìn)、通俗易懂的特點(diǎn)，另外各章配備了大量的例題，便于自學(xué)。為了體現(xiàn)與前導(dǎo)課和后繼課的聯(lián)系，激發(fā)學(xué)生的學(xué)習(xí)興趣，書(shū)中融入了一些編程的思想，并加進(jìn)了上機(jī)實(shí)驗(yàn)內(nèi)容。本書(shū)特點(diǎn)：本書(shū)可作為高等院校計(jì)算機(jī)及相關(guān)專業(yè)本科生的教材，也可供相關(guān)科技人員學(xué)習(xí)參考。..離散數(shù)學(xué)是研究離散量的結(jié)構(gòu)及其相互關(guān)系的數(shù)學(xué)學(xué)科，是計(jì)算機(jī)及相關(guān)專業(yè)的核心和骨干課程。本書(shū)是作者結(jié)合多年的教學(xué)實(shí)踐編寫(xiě)而成的，按“精、廣、新”的要求組織教學(xué)內(nèi)容，并本著實(shí)用的原則增加了上機(jī)實(shí)驗(yàn)內(nèi)容等，確保了計(jì)算機(jī)專業(yè)學(xué)生能夠獲得應(yīng)有的數(shù)學(xué)知識(shí)和解決問(wèn)題的能力。本書(shū)可作為高等院校計(jì)算機(jī)及相關(guān)專業(yè)離散數(shù)學(xué)課程的教材，也可供相關(guān)科技人員學(xué)習(xí)參考。...

作者簡(jiǎn)介

暫缺《離散數(shù)學(xué)及其應(yīng)用》作者簡(jiǎn)介

圖書(shū)目錄

第1章命題邏輯
  1．1命題與聯(lián)結(jié)詞
  1．1．I命題的基本概念
  1．1．2命題分類及命題標(biāo)識(shí)符
  1．1．3命題聯(lián)結(jié)詞
  1．2命題公式、翻譯與真值表
  1．2．1命題公式
  1．2．2命題的符號(hào)化
  1．2．3真值表
  1．3公式分類與等價(jià)式
  1．3．1公式分類
  1．3．2等價(jià)公式(等值演算)
  1．3．3基本等價(jià)式——命題定律
  1．3．4代人規(guī)則和替換規(guī)則
  1．3．5證明兩個(gè)命題公式等價(jià)的方法
1．4對(duì)偶式與蘊(yùn)涵式
  1．4．1  對(duì)偶式
  1．4．2蘊(yùn)涵式
  1．4．3蘊(yùn)涵式的證明方法
1．5聯(lián)結(jié)詞的擴(kuò)充與全功能聯(lián)結(jié)詞組
  1．5．1聯(lián)結(jié)詞的擴(kuò)充
  1．5．2與非、或非、異或的性質(zhì)
  1．5．3全功能聯(lián)結(jié)詞組
1．6公式標(biāo)準(zhǔn)型——范式
  1．6．1簡(jiǎn)單合取式與簡(jiǎn)單析取式
  1．6．2析取范式與合取范式
  1．6．3范式的應(yīng)用
1．7公式主范式
  1．7．1主析取范式
  1．‘7．2主合取范式
  1．。7．3主范式的應(yīng)用
1．8命題邏輯的推理理論
  1．8．1  推理規(guī)則
  1．8．2推理定律
    1．8．3判斷有效結(jié)論的常用方法
  1．9典型例題分析
  習(xí)題
第2章謂詞邏輯
  2．1  基本概念
    2．1．1個(gè)體、謂詞和命題的謂詞形式
    2．1．2量詞
  2．2謂詞公式與翻譯
    2．2．1  謂詞公式
    2．2．2謂詞邏輯的翻譯
  2．3  自由變?cè)图s束變?cè)?br />  2．4謂詞公式的解釋與分類
  2．4．1謂詞公式的解釋
  2．4．2 il胃詞公式的分類
  2．5謂詞演算的等價(jià)式與蘊(yùn)涵式
    2．5．1  等價(jià)式
    2．5．2蘊(yùn)涵式
  2．6謂詞演算中的公式范式
    2．6．1  前束范式
    2．6．2斯柯林范式
  2．7謂詞演算的推理理論
  2．8典型例題分析
  習(xí)題
第3章  集合
  3．1集合的概念與表示法
  3．1．1集合的概念
  3．1．2集合的表示法
  3．1．3集合的包含與相等
  3．1．4．空集、集族、冪集和全集
  3．1．5有限冪集元素的編碼表示
  3．2集合的運(yùn)算與性質(zhì)
  3．2．1集合的交、并和補(bǔ)
  3．2．2集合的對(duì)稱差
  3．2．3集合的廣義并和廣義交
  3．2．4集合的文氏圖
11．4．2用于計(jì)算的圖靈機(jī)
  11．5線性界限自動(dòng)機(jī)
  11．6典型例題分析
  1 1．7  上機(jī)實(shí)驗(yàn)
  習(xí)題
第12章  糾錯(cuò)碼簡(jiǎn)介
  12．1  糾錯(cuò)碼的基本概念
  12．2糾錯(cuò)碼的糾錯(cuò)能力
  12．3糾錯(cuò)碼的選擇
  12．4群碼的校正
  12．5典型例題分析
  12．6上機(jī)實(shí)驗(yàn)
  習(xí)題
參考文獻(xiàn)