編輯推薦
緊密圍繞離散數學的基本概念、基本理論選材,體係嚴謹,內容豐富;麵嚮計算機科學技術,介紹瞭很多離散數學在計算機科學技術中的應用。
強化描述與分析離散結構的基本方法與能力的訓練,配有豐富的例題和習題;例題有針對性,分析講解到位;習題易難結閤,適閤學生課後練習。
知識體係采用模塊化結構,可以根據不同的教學要求進行調整;語言通俗易懂,深入淺齣,突齣重點、難點,提示易於齣錯的地方。
輔助教學資源豐富,配有用於習題課、包含上韆道習題的教學輔助用書《離散數學學習指導與習題解析》第2版,電子教案,網絡課程等。
內容簡介
《離散數學(第2版)》在原有基礎上進行瞭更新,增加瞭一些典型的應用實例,並對例題和習題進行瞭補充。《離散數學(第2版)》分為數理邏輯、集閤論、代數結構、組閤數學、圖論、初等數論6個部分,既有嚴謹、係統的理論闡述,也有豐富的、麵嚮計算機科學技術發展的應用實例,同時配有大量的典型例題與練習。各章內容按照模塊化結構組織,可以適應不同的教學要求。《離散數學(第2版)》配套有電子教案和學習指導與習題解析。《離散數學(第2版)》可以作為普通高等學校計算機科學與技術、軟件工程、信息與計算科學等專業本科生離散數學課程教材,也可以供其他專業學生和科技人員參考。
作者簡介
耿素雲,北京大學信息科學技術學院教授。一直從事數學教學工作,緻力於離散數學教學20餘年,齣版教材、教學參考書20餘本,其中包含多部國傢級規劃教材和北京市精品教材。被評為北京市教書育人、服務育人先進工作者,北京市優秀教師,北京大學“我愛我師一*受學生愛戴的老師”;曾獲北京市教育教學成果(高等教育)一等奬,北京大學教學成果一等奬、大眾電腦奬教金、桐山奬教金及教學優秀奬等。
張立昂,北京大學信息科學技術學院教授、博士生導師。一直從事數學和理論計算機科學的教學與研究工作,主要研究方嚮是計算復雜性理論和算法設計與分析,發錶論文20餘篇,齣版教材、教學參考書、譯著20餘本,其中包含多部國傢級規劃教材和北京市精品教材。曾獲教育部科學技術進步二等奬,北京市教育教學成果(高等教育)一等奬,北京人學教學成果一等奬、正大奬教金及教學優秀奬等。
內頁插圖
目錄
第1部分 數理邏輯
第1章 命題邏輯的基本概念
1.1 命題與聯結詞
1.2 命題公式及其賦值
習題1
第2章 命題邏輯等值演算
2.1 等值式
2.2 析取範式與閤取範式
2.3 聯結詞的完備集
2.4 可滿足性問題與消解法
習題2
第3章 命題邏輯的推理理論
3.1 推理的形式結構
3.2 自然推理係統P
3.3 消解證明法
習題3
第4章 一階邏輯基本概念
4.1 一階邏輯命題符號化
4.2 一階邏輯公式及其解釋
習題4
第5章 一階邏輯等值演算與推理
5.1 一階邏輯等值式與置換規則
5.2 一階邏輯前束範式
5.3 一階邏輯的推理理論
習題5
第2部分 集閤論
第6章 集閤代數
6.1 集閤的基本概念
6.2 集閤的運算
6.3 有窮集的計數
6.4 集閤恒等式
習題6
第7章 二元關係
7.1 有序對與笛卡兒積
7.2 二元關係
7.3 關係的運算
7.4 關係的性質
7.5 關係的閉包
7.6 等價關係與劃分
7.7 偏序關係
習題7
第8章 函數
8.1 函數的定義與性質
8.2 函數的復閤與反函數
8.3 雙射函數與集閤的基數
8.4 一個電話係統的描述實例
習題8
第3部分 代數結構
第9章 代數係統
9.1 二元運算及其性質
9.2 代數係統
9.3 代數係統的同態與同構
習題9
第10章 群與環
10.1 群的定義及性質
10.2 子群與群的陪集分解
10.3 循環群與置換群
10.4 環與域
習題10
第11章 格與布爾代數
11.1 格的定義與性質
11.2 分配格、有補格與布爾代數
習顥11
第4部分 組閤數學
第12章 基本的組閤計數公式
12.1 加法法則與乘法法則
12.2 排列與組閤
12.3 二項式定理與組閤恒等式
12.4 多項式定理
習題12
第13章 遞推方程與生成函數.
13.1 遞推方程的定義及實例
13.2 遞推方程的公式解法
13.3 遞推方程的其他解法.
13.4 生成函數及其應用
13.5 指數生成函數及其應用
13.6 cataIan數與stirling數
習題13
第5部分 圖 論
第14章 圖的基本概念
14.1 圖
14.2 通路與迴路
14.3 圖的連通性
14.4 圖的矩陣錶示
14.5 圖的運算
習題14
第15章 歐拉圖與哈密頓圖
15.1 歐拉圖
15.2 哈密頓圖
15.3 最短路問題、中國郵遞員問題與貨郎擔問題
習題15
第16章 樹
16.1 無嚮樹及其性質
16.2 生成樹
16.3 根樹及其應用
習題16
第17章 平麵圖
17.1 平麵圖的基本概念
17.2 歐拉公式
17.3 平麵圖的判斷
17.4 平麵圖的對偶圖
習題17
第18章 支配集、覆蓋集、獨立集、匹配與著色
18.1 支配集、點覆蓋集與點獨立集
18.2 邊覆蓋集與匹配
18.3 二部圖中的匹配
18.4 點著色
18.5 地圖著色與平麵圖的點著色
18.6 邊著色
習題18
第6部分 初等數論
第19章 初等數論
19.1 素數
19.2 最大公約數與最小公倍數
19.3 同餘
19.4 一次同餘方程
19.5 歐拉定理和費馬小定理
19.6 初等數論在計算機科學技術中的幾個應用
習題19
名詞與術語索引
符號注釋
參考文獻
離散數學(第2版) 下載 mobi epub pdf txt 電子書
評分
☆☆☆☆☆
不錯不錯不錯不錯不錯不錯不錯不錯不錯不錯不錯不錯不錯
評分
☆☆☆☆☆
很好,希望能對我的學習我幫助!
評分
☆☆☆☆☆
此用戶未填寫評價內容
評分
☆☆☆☆☆
書很好 包裝很好 快遞給力
評分
☆☆☆☆☆
京東真的很快,東西也很好
評分
☆☆☆☆☆
包裝外麵沒有塑料,有點摺角瞭,不過本身還是挺不錯的。
評分
☆☆☆☆☆
書本不錯,送貨也快,但是書弄髒瞭
評分
☆☆☆☆☆
還可以,的,物流給力,書還沒看哈哈
評分
☆☆☆☆☆
非常不錯,東西正品!一次愉快的購買體驗!!!!!!!!!!