離散數(shù)學(xué)導(dǎo)學(xué)

內(nèi)容概要

本書通過大量簡單易懂的示例和練習(xí)介紹了有關(guān)離散數(shù)學(xué)的基本概念與基礎(chǔ)知識，并把理論知識與一系列實際應(yīng)用聯(lián)系起來。主要內(nèi)容包括：命題邏輯和謂詞邏輯、類型集合論、布爾代數(shù)、關(guān)系、函數(shù)、序列、歸納法、圖論、組合數(shù)學(xué)等。通過適當(dāng)?shù)慕虒W(xué)方法，可以加深學(xué)生對離散數(shù)學(xué)的理解。    本書適合所有學(xué)習(xí)離散數(shù)學(xué)的學(xué)生，并可作為相關(guān)專業(yè)的教材。

作者簡介

Andrew Simpson目前任教于牛津大學(xué)，擔(dān)任軟件工程項目主任。他擁有牛津大學(xué)的計算機專業(yè)碩士和博士學(xué)位。他曾在牛津大學(xué)、牛津魯斯金等學(xué)院和北倫敦大學(xué)講授各種層次離散數(shù)學(xué)課程，擁有豐富的教學(xué)經(jīng)驗和理論知識，以在教學(xué)中善于結(jié)合實際需求著稱。

書籍目錄

出版者的話專家指志委員會譯者序第1章 導(dǎo)論  1.1 學(xué)習(xí)動機  1.2 教材內(nèi)容  1.3 組織結(jié)構(gòu)第2章 數(shù)  2.1 自然數(shù)  2.2 Peano算術(shù)  2.3 其他類型的數(shù)  2.4 附加練習(xí)  2.5 練習(xí)解答第3章 命題邏輯  3.1 原子命題  3.2 真值  3.3 否定運算符  3.4 合取運算符  3.5 析取運算符  3.6 蘊合運算符  3.7 等值運算符  3.8 運算的優(yōu)先級  3.9 重言式、矛盾式和不定式  3.10 真值表  3.11 等值推理  3.12 自然演繹  3.13 附加練習(xí)  3.14 練習(xí)解答第4章 集合論  4.1 集合  4.2 單集  4.3 空集  4.4 集合成員  4.5 子集  4.6 超集  4.7 集合的并集  4.8 集合的交集  4.9 集合的差集  4.10 有關(guān)集合的推理  ……第5章 布爾代數(shù)第6章 類型集合論第7章 謂詞邏輯第8章 關(guān)系第9章 函數(shù)第10章 序列第11章 歸納法第12章 圖論第13章 組合數(shù)學(xué)第14章 應(yīng)用實例參考文獻

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    離散數(shù)學(xué)導(dǎo)學(xué) PDF格式下載

---