內容簡介
《離散數學概念題解與自測》對離散數學各章節知識的要點和難點,對解題的方法和技巧作了全面的分析。《離散數學概念題解與自測》包括命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函式論、集合、二元關係、函式與集合的勢、圖、樹、群與環、格與布爾代數共12章內容。
《離散數學概念題解與自測》表達嚴謹,推理縝密,提供了大量習題及其分析與解答。《離散數學概念題解與自測》可作為高等院校計算機科學與技術及相關信息類專業的教學參考書,也適用於報考計算機專業研究生的學生作為複習指導書,也可供教師、研究生和相關人員作參考書。
目錄
第一章命題演算基礎
1.1基本要求
1.2內容分析
1.3習題解答
第二章命題演算的推理理論
2.1基本要求
2.2內容分析
2.3習題解答
第三章謂詞演算基礎
3.1基本要求
3.2內容分析
3.3習題解答
第四章謂詞演算的推理理論
4.1基本要求
4.2內容分析
4.3習題解答
第五章遞歸函式論
5.1基本要求
5.2內容分析
5.3習題解答
第六章集合
6.1基本要求
6.2內容分析
6.3習題解答
第七章二元關係
7.1基本要求
7.2內容分析
7.3習題解答
第八章函式與集合的勢
8.1基本要求
8.2內容分析
8.3題解答
第九章圖
9.1基本要求
9.2內容分析
9.3題解答
第十章樹
10.1基本要求
10.2勺容分析
10.3題解答
第十一章群與環
11.1基本要求
11.2內容分析
11.3習題解答
第十二章格與布爾代數
12.1基本要求
12.2內容分析
12.3習題解答
附錄模擬試卷及解答
模擬試卷一
模擬試卷二
模擬試卷一解答
模擬試卷二解答
參考文獻
……