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

內(nèi)容概要

　  離散數(shù)學(xué)是研究離散量的結(jié)構(gòu)及其相互關(guān)系的數(shù)學(xué)學(xué)科，是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支，是計(jì)算機(jī)專(zhuān)業(yè)和其他一些工程專(zhuān)業(yè)的數(shù)學(xué)基礎(chǔ)課程?！峨x散數(shù)學(xué)》包含了數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)、圖論等主要內(nèi)容?！? 《離散數(shù)學(xué)》在編寫(xiě)的過(guò)程中力求做到突出嚴(yán)謹(jǐn)、簡(jiǎn)明、系統(tǒng)三個(gè)特點(diǎn)，尤其對(duì)基礎(chǔ)理論知識(shí)介紹得比較詳細(xì)?！? 《離散數(shù)學(xué)》不僅可以供高職高專(zhuān)計(jì)算機(jī)專(zhuān)業(yè)和其他工程類(lèi)專(zhuān)業(yè)學(xué)生使用，也可以作為數(shù)學(xué)專(zhuān)業(yè)學(xué)生的教材。

書(shū)籍目錄

第一編 數(shù)理邏輯第1章 命題邏輯的基本概念1.1 命題與命題聯(lián)結(jié)詞1.2 命題公式及其賦值習(xí)題一第2章 命題邏輯等值演算2.1 等值式2.2 命題公式的標(biāo)準(zhǔn)形——范式2.3 聯(lián)結(jié)詞的完備集習(xí)題二第3章 命題邏輯的推理理論3.1 推理的形式結(jié)構(gòu)3.2 自然推理系統(tǒng)P習(xí)題三第4章 一階邏輯基本概念4.1 一階邏輯的符號(hào)化4.2 一階邏輯公式及解釋習(xí)題四第5章 一階邏輯等值演算與推理5.1 一階邏輯等值式與置換規(guī)則5.2 一階邏輯公式的標(biāo)準(zhǔn)形——前束范式5.3 一階邏輯推理理論習(xí)題五第二編 集合論第6章 集合代數(shù)6.1 集合的基本概念6.2 集合的運(yùn)算6.3 集合恒等式習(xí)題六第7章 二元關(guān)系7.1 有序?qū)εc笛卡爾積7.2 二元關(guān)系7.3 關(guān)系的運(yùn)算7.4 關(guān)系的性質(zhì)7.5 關(guān)系的閉包7.6 等價(jià)關(guān)系與劃分7.7 偏序關(guān)系習(xí)題七第8章 函數(shù)8.1 函數(shù)的定義與性質(zhì)8.2 函數(shù)的復(fù)合與反函數(shù)習(xí)題八第9章 集合基數(shù)9.1 集合的等勢(shì)與優(yōu)勢(shì)9.2 集合的基數(shù)習(xí)題九第三編 代數(shù)結(jié)構(gòu)第10章 代數(shù)結(jié)構(gòu)10.1 二元運(yùn)算及其性質(zhì)10.2 代數(shù)系統(tǒng)……第11章 半群與群第12章 環(huán)與域 第13章 格與布爾代數(shù)第四編 圖論第14章 圖的基本概念第15章 歐拉圖與哈密頓圖第16章 樹(shù)第17章 平面圖及圖的著色第18章 支配集、覆蓋集、獨(dú)立集與匹配部分習(xí)題參考答案參考文獻(xiàn)

圖書(shū)封面

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

---

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

---