離散數(shù)學(xué)（第二版）

定　價(jià)：￥19.00

作　者：	耿素云，屈婉玲，張立昂編著
出版社：	清華大學(xué)出版社
叢編項(xiàng)：	軟件專業(yè)技術(shù)資格和水平考試自學(xué)叢書
標(biāo)　簽：	離散數(shù)學(xué)

購買這本書可以去

ISBN：	9787302037224	出版時(shí)間：	1999-01-01	包裝：	精裝
開本：	26cm	頁數(shù)：	244	字?jǐn)?shù)：

內(nèi)容簡介

　　本書包括以下6個(gè)方面的內(nèi)容：（1）數(shù)理邏輯；（2）集合論；（3）代數(shù)結(jié)構(gòu)；（4）圖論；（5）組合分析初步；（6）形式語言與自動(dòng)機(jī)初步。書中概念論述清楚，講解詳實(shí)，通俗易懂，并且著重于概念的應(yīng)用，而不著重于定理的證明，每章后均附有習(xí)題。本書可以作為計(jì)算機(jī)及相關(guān)專業(yè)本科生的教材，也可以作為計(jì)算機(jī)軟件專業(yè)水平考試的參考書，同時(shí)還可以供從事計(jì)算機(jī)軟件、硬件研究開發(fā)和應(yīng)用的人員使用，另有配套教材《離散數(shù)學(xué)題解》。

作者簡介

暫缺《離散數(shù)學(xué)（第二版）》作者簡介

圖書目錄

第一章  命題邏輯
1.1  命題符號(hào)分及聯(lián)結(jié)詞
1.2  命題公式及分類
1.3  等值演算
1.4  聯(lián)結(jié)詞全功能集
1.5  對(duì)偶與范式
1.6  推理理論
1.7  題例分析
習(xí)題
第二章  一階邏輯
2.1  一階邏輯基本概念
2.2  一階邏輯合式公式及解釋
2.3  一階邏輯等值式
2.4  一階邏輯推理理論
2.5  題例分析
習(xí)題
第三章  集合的基本概念和運(yùn)算
3.1  集合的基本概念
3.2  集合的基本運(yùn)算
3.3  集合中元素的計(jì)數(shù)
3.4  題例分析
習(xí)題
第四章  二元關(guān)系和函數(shù)
4.1  集合的笛卡兒積與二元關(guān)系
4.2  關(guān)系的運(yùn)算
4.3  關(guān)系的性質(zhì)
4.4  關(guān)系的閉包
4.5  等價(jià)關(guān)系和偏序關(guān)系
4.6  函數(shù)的定義和性質(zhì)
4.7  函數(shù)的復(fù)合和反函數(shù)
4.8  題例分析
習(xí)題
第五章  代數(shù)系統(tǒng)的一般性質(zhì)
5.1  二元運(yùn)算及其性質(zhì)
5.2  代數(shù)系統(tǒng)及共子代數(shù)和積代數(shù)
5.3  代數(shù)系統(tǒng)的同態(tài)與同構(gòu)
5.4  題例分析
習(xí)題
第六章  幾個(gè)典型的代數(shù)系統(tǒng)
6.1  半群與群
6.2  環(huán)與域
6.3  格與布爾代數(shù)
6.4  題例分析
習(xí)題
第七章  圖的基本概念
7.1  無向圖及向圖
7.2  通路、回路、圖的連通性
7.3  圖的矩陣表示
7.4  最短徑及關(guān)鍵路徑
7.5  題例分析
習(xí)題
第八章  一些特殊的圖
8.1  二部圖
8.2  歐拉圖
8.3  哈密爾頓圖
8.4  平面圖
8.5  題例分析
習(xí)題
第九章  樹
9.1  無向樹及生成樹
9.2  根樹及其應(yīng)用
9.3  題例分析
習(xí)題
第十章  組合分析初步
10.1  加法法則和乘法法則
10.2  基本排列組合的計(jì)數(shù)方法
10.3  題例分析
習(xí)題
第十一章  形式語言和自動(dòng)機(jī)初步
11.1  形式語言和形式文法
11.2  有窮自動(dòng)機(jī)
11.3  有窮自動(dòng)機(jī)和正則文法的等價(jià)法
11.4  圖靈機(jī)
習(xí)題