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

內(nèi)容概要

內(nèi)容提要
本書(shū)系統(tǒng)地介紹了“離散數(shù)學(xué)”中集合論、代數(shù)系統(tǒng)、圖論及數(shù)
理邏輯的基本內(nèi)容，符合計(jì)算機(jī)專業(yè)后繼課程的需要。編寫(xiě)中力求
內(nèi)容精煉，重點(diǎn)突出、深入淺出。為了適應(yīng)第五代計(jì)算機(jī)對(duì)數(shù)理邏
輯的特殊要求，書(shū)中加強(qiáng)了數(shù)理邏輯部分的內(nèi)容和深度。
本書(shū)可作為高等院校計(jì)算機(jī)專業(yè)、自控專業(yè)、應(yīng)用數(shù)學(xué)與計(jì)算
數(shù)學(xué)專業(yè)等本科及?？啤半x散數(shù)學(xué)”課程的教材或參考書(shū)，也可供
有關(guān)科技人員和自學(xué)者參考。

書(shū)籍目錄

目錄
第一章集合
1.基本概念
2.集合代數(shù)
3.集合運(yùn)算的另外兩種工具――文圖與成員表法
4.有窮集合運(yùn)算的機(jī)械化――對(duì)集合強(qiáng)行命名
習(xí)題一
第二章 關(guān)系
1.集合的叉積
2.關(guān)系
3.關(guān)系的表示和運(yùn)算
4.等價(jià)關(guān)系
5.半序關(guān)系
習(xí)題二
第三章 函數(shù)
1.基本概念
2.函數(shù)的復(fù)合
3.集合的基數(shù)
習(xí)題三
集合論的歷史
第四章 代數(shù)系統(tǒng)
1.代數(shù)系統(tǒng)的基本概念
2.代數(shù)系統(tǒng)的同構(gòu)與同態(tài)
3.半群
4.群
5.環(huán)
6.域
習(xí)題四
第五章 格與布爾代數(shù)
1.格
2.布爾代數(shù)
習(xí)題五
代數(shù)系統(tǒng)的歷史
第六章 圖論
1.圖論一瞥
2.圖的基本概念
3.路與圈
4.圖的矩陣表示
5.帶權(quán)圖的最短路徑
6.Euler圖
7.Hamilton圖
8.二分圖
9.平面圖
習(xí)題六
第七章 樹(shù)
1.自由樹(shù)
2.有根樹(shù)
習(xí)題七
圖論的歷史
第八章 命題演算
1.命題與真值聯(lián)結(jié)詞
2.命題公式與真假性
3.命題公式的永真性
4.聯(lián)結(jié)詞歸約與范式
5.命題演算的形式推理
習(xí)題八
第九章 謂詞演算
1.謂詞與量詞
2.謂詞公式與真假性
3.謂詞公式的永真性
4.謂詞演算的形式推理
習(xí)題九
數(shù)理邏輯的興起與展望
參考文獻(xiàn)

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

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

---

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

---