離散數(shù)學

內(nèi)容概要

本書介紹計算機專業(yè)最需要的離散數(shù)學基礎知識，共8章，包括數(shù)理邏輯、集合論、二元關系、函數(shù)、無限集合、代數(shù)、格與布爾代數(shù)、圖論等，并含有較多的與計算機科學和工程有關的例題和習題。本書適合于高等理工科院校計算機科學、工程和應用專業(yè)作教材，也可供教師、研究生、高年級學生和有關工程技術人員作參考書。

書籍目錄

第一章 數(shù)理邏輯  1.1 命題   1.2 重言式   1.3 范式   1.4 聯(lián)結(jié)詞的擴充與歸約   1.5 推理規(guī)則和證明方法   1.6 謂詞和量詞   1.7 謂詞演算的永真公式  1.8 謂詞演算的推理規(guī)則 第二章 集合  2.1 集合論的基本概念  2.2 集合上的運算   2.3 歸納法和自然數(shù)   2.4 語言上的運算   2.5 集合的笛卡兒乘積  第三章 二元關系   3.1 基本概念  3.2 關系的合成  3.3 關系上的閉包運算  3.4 次序關系  3.5 等價關系和劃分  第四章 函數(shù)    4.1 函數(shù)的基本概念   4.2 特殊函數(shù)類   4.3 逆函數(shù) 第五章 無限集合  5.1 可數(shù)和不可數(shù)集合  5.2 基數(shù)的比較   5.3 基數(shù)算術 第六章 代數(shù)  6.1 代數(shù)結(jié)構(gòu)   6.2 子代數(shù)    6.3 同態(tài)   6.4 同余關系   6.5 商代數(shù)和積代數(shù)    6.6 半群和獨異點  6.7 群   6.8 環(huán)和域 第七章 格與布爾代數(shù)  7.1 格  7.2 格是代數(shù)系統(tǒng)  7.3 特殊的格   7.4 布爾代數(shù) 第八章 圖論  8.1 圖的基本概念   8.2 路徑和回路  8.3 圖的矩陣表示   8.4 二部  8.5 平面圖   8.6 樹   8.7 有向樹   8.8 運輸網(wǎng)絡 參考文獻

編輯推薦

本書第一版于1989年5月作為電子類“七五”規(guī)劃教材由西安電子科技大學出版社出版。最近，根據(jù)原電子工業(yè)部《1996—2000年全國電子信息類專業(yè)教材編審出版規(guī)劃》，該書修訂后再次出版。全書共分七章，主要內(nèi)容有命題邏輯、謂詞邏輯、集合、關系、函數(shù)、代數(shù)系統(tǒng)的基本理論和特殊代數(shù)系統(tǒng)、圖論等。本次修訂根據(jù)原國家教委對大專層次的理論教學以夠用為度的原則，并根據(jù)近幾年來大專計算機教學的需要進行。在內(nèi)容的選擇上，將刪去原書中一些不適合大專教學的較難部分或與前后內(nèi)容聯(lián)系不大的概念；將原書的第6、7兩章合并為現(xiàn)第6章，簡化了對代數(shù)系統(tǒng)的研究；對一些難度較大的內(nèi)容增補了一些例子，并提供不同學時的選擇。在修訂中保留原書由淺入深，由直觀到抽象，通俗易讀，用圖解的方法來形象地描述一些概念、關系和算法等特色，進一步做到概念清晰、準確、推理嚴謹。本書既可作為普通?？圃盒！⒙殬I(yè)大學、職工大學的計算機專業(yè)教材，也可作為非計算機專業(yè)相應課程的教材或教學參考書。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    離散數(shù)學 PDF格式下載

---