123,123,123

內(nèi)容簡(jiǎn)介

　　本書是在2004年版教育部普通高等教育“十五”國(guó)家級(jí)規(guī)劃教材《離散數(shù)學(xué)（修訂版）》配套參考書基礎(chǔ)上修改而成。為了與2008年版的“十一五” 國(guó)家級(jí)規(guī)劃教材《離散數(shù)學(xué)》相適應(yīng)，在本書中也對(duì)相關(guān)內(nèi)容進(jìn)行了更新。本書分為數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)、組合數(shù)學(xué)、圖論、初等數(shù)論六個(gè)部分。每部分按照章對(duì)相關(guān)知識(shí)點(diǎn)進(jìn)行了全面的總結(jié)，并對(duì)解題方法進(jìn)行了系統(tǒng)的分析和闡述。各章都按照內(nèi)容提要、基本要求、習(xí)題課、習(xí)題、解答或提示、小測(cè)驗(yàn)進(jìn)行組織，并在最后給出了4套綜合性的模擬試題，全書包含各種練習(xí)題累計(jì)上千道。本書既可以作為上述《離散數(shù)學(xué)》的教學(xué)參考書，也可以為其他學(xué)習(xí)離散數(shù)學(xué)的讀者，特別是初學(xué)者提供有益的幫助。

作者簡(jiǎn)介

　　屈婉玲，1969年畢業(yè)于北京大學(xué)物理系物理專業(yè)，現(xiàn)為北京大學(xué)信息科學(xué)技術(shù)學(xué)院教授，博士生導(dǎo)師，中國(guó)人工智能學(xué)會(huì)離散數(shù)學(xué)專委會(huì)員。主要研究方向是算法設(shè)計(jì)與分析，發(fā)表論文20余篇，出版教材、教學(xué)參考書、譯著20余本、其中包含多本國(guó)家級(jí)規(guī)劃教材和北京市精品課程，兩次被評(píng)為北京大學(xué)十佳教師，并獲得北京市優(yōu)秀教師稱號(hào)。曾主持過多項(xiàng)國(guó)家教材和課程建設(shè)項(xiàng)目，并獲得北京市教育教學(xué)成果（高等教育）一等獎(jiǎng)。耿素云，1965年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系數(shù)學(xué)專業(yè)，北京大學(xué)信息科學(xué)技術(shù)學(xué)院教授。一直從事數(shù)學(xué)，致力于離散數(shù)學(xué)教學(xué)20余年，出版教材，教學(xué)參考書20余本，其中包含多本國(guó)家級(jí)規(guī)劃教材和北京市精品教材。被評(píng)為北京市教書育人、服務(wù)育人先進(jìn)工作者，北京市優(yōu)秀教師，北京市教育教學(xué)成果（高等教育）一等獎(jiǎng)，北京大學(xué)教學(xué)成果一等獎(jiǎng)，大眾電腦獎(jiǎng)教金，桐山獎(jiǎng)教金及教學(xué)優(yōu)秀獎(jiǎng)等。張立昂，1965年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系數(shù)學(xué)專業(yè)，北京大學(xué)信息科學(xué)技術(shù)學(xué)院教授、博士生導(dǎo)師。一直從事數(shù)學(xué)和理論計(jì)算機(jī)科學(xué)的教學(xué)與研究，主要研究方向是計(jì)算復(fù)雜性理論和算法設(shè)計(jì)與分析，發(fā)表論文20余篇，出版教材、教學(xué)參考書、譯著20余本，其中包含多本國(guó)家級(jí)規(guī)劃教材和北京市精品教材。獲教育部科學(xué)技術(shù)進(jìn)步二等獎(jiǎng)，北京市教育教學(xué)成果（高等教育）一等獎(jiǎng)，北京大學(xué)教學(xué)成果一等獎(jiǎng)，正大獎(jiǎng)教金及教學(xué)優(yōu)秀獎(jiǎng)等。

圖書目錄

第一部分數(shù)理邏輯
第一章命題邏輯基本概念
1．1 內(nèi)容提要
1．2 基本要求
1．3 習(xí)題課
1．4 習(xí)題、解答或提示
1．5 小測(cè)驗(yàn)
第二章命題邏輯等值演算
2．1 內(nèi)容提要
2．2 基本要求
2．3 習(xí)題課
2．4 習(xí)題、解答或提示
2．5 小測(cè)驗(yàn)
第三章命題邏輯的推理理論
3．1 內(nèi)容提要
3．2 基本要求
3．3 習(xí)題課
3．4 習(xí)題、解答或提示
3．5 小測(cè)驗(yàn)
第四章一階邏輯基本概念
4．1 內(nèi)容提要
4．2 基本要求
4．3 習(xí)題課
4．4 習(xí)題、解答或提示
4．5 小測(cè)驗(yàn)
第五章一階邏輯等值演算與推理
5．1 內(nèi)容提要
5．2 基本要求
5．3 習(xí)題課
5．4 習(xí)題、解答或提示
5．5 小測(cè)驗(yàn)
第二部分集合論
第六章集合代數(shù)
6．1 內(nèi)容提要
6．2 基本要求
6．3 習(xí)題課
6．4 習(xí)題、解答或提示
6．5 小測(cè)驗(yàn)
第七章二元關(guān)系
7．1 內(nèi)容提要
7．2 基本要求
7．3 習(xí)題課
7．4 習(xí)題、解答或提示
7．5 小測(cè)驗(yàn)
第八章函數(shù)
8．1 內(nèi)容提要
8．2 基本要求
8．3 習(xí)題課
8．4 習(xí)題、解答或提示
8．5 小測(cè)驗(yàn)
第三部分代數(shù)結(jié)構(gòu)
第九章代數(shù)系統(tǒng)
9．1 內(nèi)容提要
9．2 基本要求
9．3 習(xí)題課
9．4 習(xí)題、解答或提示
9．5 小測(cè)驗(yàn)
第十章群與環(huán)
10．1 內(nèi)容提要
10．2 基本要求
10．3 習(xí)題課
10．4 習(xí)題、解答或提示
10．5 小測(cè)驗(yàn)
第十一章格與布爾代數(shù)
11．1 內(nèi)容提要
11．2 基本要求
11．3 習(xí)題課
11．4 習(xí)題、解答或提示
11．5 小測(cè)驗(yàn)
第四部分組合數(shù)學(xué)
第十二章基本的組合計(jì)數(shù)公式
12．1 內(nèi)容提要
12．2 基本要求
12．3 習(xí)題課
12．4 習(xí)題、解答或提示
12．5 小測(cè)試
第十三章遞推方程與生成函數(shù)
13．1 內(nèi)容提要
13．2 基本要求
13．3 習(xí)題課
13．4 習(xí)題、解答或提示
13．5 小測(cè)試
第五部分圖論
第十四章圖的基本概念
14．1 內(nèi)容提要
14．2 基本要求
14．3 習(xí)題課
14．4 習(xí)題、解答或提示
14．5 小測(cè)驗(yàn)
第十五章歐拉圖與哈密頓圖
15．1 勾容提要
15．2 基本要求
15．3 習(xí)題課
15．4 習(xí)題、解答或提示
15．5 小測(cè)驗(yàn)
第十六章樹
16．1 內(nèi)容提要
16．2 基本要求
16．3 習(xí)題課
16．4 習(xí)題、解答或提示
16．5 小測(cè)驗(yàn)
第十七章平面圖
17．1 內(nèi)容提要
17．2 基本要求
17．3 習(xí)題課
17．4 習(xí)題、解答或提示
17．5 小測(cè)驗(yàn)
第十八章支配集、覆蓋集、獨(dú)立集、匹配與著色
18．1 內(nèi)容提要
18．2 基本要求
18．3 習(xí)題課
18．4 習(xí)題、解答或提示
18．5 小測(cè)驗(yàn)
第六部分初等數(shù)論
第十九章初等數(shù)論
19．1 內(nèi)容提要
19．2 基本要求
19．3 習(xí)題課
19．4 習(xí)題、解答或提示
19．5 小測(cè)驗(yàn)
模擬試題
試題1
試題1解答
試題2
試題2解答
試題3
試題3解答
試題4
試題4解答