離散數(shù)學及其應用

定　價：￥28.00

作　者：	徐鳳生主編
出版社：	機械工業(yè)出版社
叢編項：	高等院校計算機教材系列
標　簽：	離散數(shù)學

購買這本書可以去

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

ISBN：	9787111190585	出版時間：	2006-08-01	包裝：	膠版紙
開本：	16開	頁數(shù)：	258	字數(shù)：

內容簡介

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

作者簡介

暫缺《離散數(shù)學及其應用》作者簡介

圖書目錄

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