離散數(shù)學(xué)

內(nèi)容概要

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

書籍目錄

第一章 數(shù)理邏輯  1.1 命題   1.2 重言式   1.3 范式   1.4 聯(lián)結(jié)詞的擴(kuò)充與歸約   1.5 推理規(guī)則和證明方法   1.6 謂詞和量詞   1.7 謂詞演算的永真公式  1.8 謂詞演算的推理規(guī)則 第二章 集合  2.1 集合論的基本概念  2.2 集合上的運(yùn)算   2.3 歸納法和自然數(shù)   2.4 語言上的運(yùn)算   2.5 集合的笛卡兒乘積  第三章 二元關(guān)系   3.1 基本概念  3.2 關(guān)系的合成  3.3 關(guān)系上的閉包運(yùn)算  3.4 次序關(guān)系  3.5 等價關(guān)系和劃分  第四章 函數(shù)    4.1 函數(shù)的基本概念   4.2 特殊函數(shù)類   4.3 逆函數(shù) 第五章 無限集合  5.1 可數(shù)和不可數(shù)集合  5.2 基數(shù)的比較   5.3 基數(shù)算術(shù) 第六章 代數(shù)  6.1 代數(shù)結(jié)構(gòu)   6.2 子代數(shù)    6.3 同態(tài)   6.4 同余關(guān)系   6.5 商代數(shù)和積代數(shù)    6.6 半群和獨(dú)異點(diǎn)  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 運(yùn)輸網(wǎng)絡(luò) 參考文獻(xiàn)

編輯推薦

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---