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

內(nèi)容概要

離散數(shù)學(xué)是計(jì)算機(jī)科學(xué)與技術(shù)的理論基礎(chǔ)。本書系統(tǒng)地介紹了離散數(shù)學(xué)的最基本內(nèi)容。全書共分為三部分：第一部分?jǐn)?shù)理邏輯，介紹命題演算及其形式系統(tǒng)，謂詞演算及其形式系統(tǒng)；第二部分集合化，介紹集合、關(guān)系、函數(shù)以及集合的數(shù)等內(nèi)容；第三部分圖論，介紹圖的概念、歐拉圖、哈密爾頓圖、二部圖、平面圖、樹等內(nèi)容。    本書內(nèi)容深入淺出，簡(jiǎn)明扼要，以理論聯(lián)系實(shí)際為目的。書中選擇典型例題講解，每章后均配有適量習(xí)題，幫助鞏固所學(xué)知識(shí)。本書可作為應(yīng)用型本科及高職高專計(jì)算機(jī)及其相關(guān)專業(yè)的教材，也可供相關(guān)專業(yè)人員學(xué)習(xí)參考。

書籍目錄

第一部分 數(shù)理邏輯  第1章 命題演算及其形式系統(tǒng)    1.1 命題與聯(lián)結(jié)詞    1.2 重言式    1.3 范式    1.4 命題演算形式系統(tǒng)    本章小結(jié)    習(xí)題  第2章 謂詞演算及其形式系統(tǒng)    2.1 個(gè)體、謂詞和量詞    2.2 謂詞演算永真式    2.3 謂詞公式的前束范式    2.4 一階訵詞演算形式系統(tǒng)    本章小結(jié)    習(xí)題第二部分 集合論  第3章 集合    3.1 集合的概念與表示    3.2 集合之間的關(guān)系    3.3 集合運(yùn)算    3.4 包含排斥原理    本章小結(jié)    習(xí)題  第4章 關(guān)系    4.1 序偶與笛卡爾積    4.2 二元關(guān)系及其表示    4.3 關(guān)系的運(yùn)算    4.4 關(guān)系的性質(zhì)     4.5 關(guān)系的閉包    4.6 等價(jià)關(guān)系與集合的劃分    4.7 相容關(guān)系    4.8 偏序關(guān)系與哈斯圖    本章小結(jié)    習(xí)題  第5章 函數(shù)    5.1 函數(shù)的概念    5.2 復(fù)合函數(shù)與逆函數(shù)    本章小結(jié)    習(xí)題  第6章 集合的基數(shù)    6.1 基數(shù)的概念    6.2 可數(shù)集和不可數(shù)集    6.3 基數(shù)的比較    本章小結(jié)    習(xí)題第三部分 圖論  第7章 圖的基本概念    7.1 無向圖及有向圖    7.2 通路、回路、圖的連通性    7.3 圖的矩陣表示    7.4 最短路徑及關(guān)鍵路徑    本章小結(jié)    習(xí)題  第8章 一些特殊的圖    8.1 二部圖    8.2 歐拉圖    8.3 哈密爾頓圖    8.4 平面圖    本章小結(jié)    習(xí)題  第9章 樹    9.1 無向樹及生成樹    9.2 根樹及其應(yīng)用    本章小結(jié)    習(xí)題參考文獻(xiàn)

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

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

---