離散數學/高職高專計算機系列規劃教材

《離散數學/高職高專計算機系列規劃教材》是2004年1月1日電子工業出版社出版的圖書。該教材包含了數理邏輯、集合論、數函式和遞推關係、圖論、代數系統及布爾代數等內容，並且給出了例題和習題。

基本介紹

• 書名：離散數學/高職高專計算機系列規劃教材
• 作者：馬叔良
• ISBN：750539978
• 頁數：194頁
• 出版社：電子工業出版社
• 出版時間：2004年1月1日

圖書信息

正文語種: 簡體中文

開本: 16

ISBN: 7505399780

條形碼: 9787505399785

尺寸: 25.6 x 18 x 0.8 cm

重量: 322 g

媒體評論

書評

本書是為計算機科學等專業的學生寫的一本離散教學基礎教材。理論部分取材於數學的幾個與計算機 學科聯繫緊密的的理論分支，並且在不致與其他課程內容重複的宗旨下，儘可能地給出了一些運用數學理論解決專業問題的實例。

本教材的很多專題是從日常生活問題引出的，並有大量的例題和練習，行文也力求通俗。本書也可供希望了解離散數學內容的讀者自學之用，本書配有電子教案和習題解答。

目錄

第一章 緒論

1.1 離散數學的研究對象

1.2 離散數學的主要內容

1.3 學習離散數學的方法

第二章 數理邏輯

2.1 命題

2.2 命題聯結詞

2.3 命題的合式公式

2.4 真值表、永真式和永假式

2.5 公式的等價和蘊含

2.6 公式的主範式

2.7 命題演算的推理理論

2.8 命題邏輯和二值邏輯器件

2.9 一階謂詞邏輯

2.10 命題函式和個體變數及量詞

2.11 謂詞公式

2.12 謂詞演算的推理理論

第三章 集合和關係

第四章 數函式和遞推關係

第五章 圖論

第六章 代數系統

第七章 格與布爾代數

參考文獻