定 價:35 元
叢書名:高等院校計算機(jī)專業(yè)應(yīng)用技術(shù)系列教材
- 作者:耿素云,屈婉玲
- 出版時間:2019/9/1
- ISBN:9787301307328
- 出 版 社:北京大學(xué)出版社
- 中圖法分類:O158
- 頁碼:264
- 紙張:
- 版次:2
- 開本:16開
本書共分四大部分:數(shù)理邏輯部分包括命題邏輯的基本概念、等值演算、范式與推理理論,一階邏輯的基本概念、前束范式以及推理理論;集合論部分包括集合的基本概念與運(yùn)算,二元關(guān)系的性質(zhì)與運(yùn)算、等價關(guān)系與偏序關(guān)系,函數(shù)及其性質(zhì),復(fù)合函數(shù)與反函數(shù)等;代數(shù)結(jié)構(gòu)部分包括二元運(yùn)算及代數(shù)系統(tǒng),半群、獨異點、群、環(huán)與域、格與布爾代數(shù)等。圖論部分包括圖的基本概念和矩陣表示,樹的概念、性質(zhì)及應(yīng)用,二部圖,歐拉圖,哈密爾頓圖,平面圖,圖的著色等。
本書適合普通高校計算機(jī)及相關(guān)專業(yè)理算數(shù)學(xué)的入門教材和參考書。
耿素云,北京大學(xué)信息科學(xué)技術(shù)學(xué)院教授,長期從事離散數(shù)學(xué)的教學(xué)工作,曾在北京大學(xué)出版社出版《離散數(shù)學(xué)》《離散數(shù)學(xué)教程》《離散數(shù)學(xué)習(xí)題解析》。屈婉玲,現(xiàn)任北京大學(xué)信息科學(xué)技術(shù)學(xué)院和高可信軟件技術(shù)教育部重點實驗室教授,博士生導(dǎo)師,中國人工智能學(xué)會離散數(shù)學(xué)專委會副主任。多年講授本科生主干基礎(chǔ)課離散數(shù)學(xué)和研究生必修課算法設(shè)計與分析。主要研究方向是算法設(shè)計與分析,參與國家973、863和自然科學(xué)基金研究課題多項。發(fā)表論文20多篇,出版教材、教學(xué)參考書、譯著20多部。
第一部分 數(shù)理邏輯
第一章 命題邏輯
1.1 命題與聯(lián)結(jié)詞
1.2 命題公式與賦值
1.3 等值演算
1.4 析取范式與合取范式
1.5 聯(lián)結(jié)詞完備集
1.6 命題邏輯的推理理論
1.7 例題分析
習(xí)題一
第二章 一階邏輯
2.1 一階邏輯基本概念
2.2 一階邏輯公式及解釋
2.3 一階邏輯等值式與前束范式
2.4 例題分析
習(xí)題二
第二部分 集合論
第三章 集合的基本概念和運(yùn)算
3.1 集合的基本概念
3.2 集合的基本運(yùn)算
3.3 集合恒等式
3.4 有窮集合的計數(shù)
3.5 例題分析
習(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 等價關(guān)系和偏序關(guān)系
4.6 函數(shù)的定義和性質(zhì)
4.7 函數(shù)的復(fù)合和反函數(shù)
4.8 例題分析
習(xí)題四
第三部分 代數(shù)結(jié)構(gòu)
第五章 代數(shù)系統(tǒng)的一般概念
5.1 二元運(yùn)算及其性質(zhì)
5.2 代數(shù)系統(tǒng)及其子代數(shù)和積代數(shù)
5.3 代數(shù)系統(tǒng)的同態(tài)與同構(gòu)
5.4 例題分析
習(xí)題五
第六章 幾個典型的代數(shù)系統(tǒng)
6.1 群、環(huán)與域
6.2 格與布爾代數(shù)
6.3 例題分析
習(xí)題六
第四部分 圖輪
第七章 圖的基本概念
7.1 無向圖和有向圖
7.2 通路、回路、圖的連通性
7.3 圖的矩陣表示
7.4 例題分析
習(xí)題七
第八章 樹
8.1 無向樹
8.2 根樹及其應(yīng)用
8.3 例題分析
習(xí)題八
第九章 二部圖、歐拉圖、哈密頓圖
9.1 二部圖
9.2 歐拉圖
9.3 哈密頓圖
9.4 例題分析
習(xí)題九
第十章 平面圖及圖的著色
10.1 平面圖
10.2 圖的著色
10.3 例題分析
習(xí)題十
第五部分 組合數(shù)學(xué)
第十一章 組合計數(shù)
11.1 排列與組合
11.2 二項式定理與多項式定理
11.3 例題分析
習(xí)題十一
第十二章 遞推方程與生成函數(shù)
12.1 遞推方程
12.2 生成函數(shù)與指數(shù)生成函數(shù)
12.3 例題分析
12.4 習(xí)題十二
習(xí)題的提示或解答
參考文獻(xiàn)