內容簡介
。全書分為14章，每章包含內容提要、習題、習題解答與分析三部分。內容提要總結了本章的主要定義、定理、公式、重要的結果等；習題部分包含了與上述內容配套的數十道題；習題解答與分析部分不但對上述習題給出了詳細的解答，而且對一些典型的解題方法做了比較深入的分析和總結。總計超過500道，涵蓋了數理邏輯、集合論、圖論、組合數字、數論、離散機率、代數結構等不同模組的基本內容和典型的解題方法。
作者簡介
屈婉玲，1969年畢業於北京大學物理系物理學專業，現任北京大學信息科學技術學院教授、博士生導師，中國人工智慧學會離散數學專委會委員，主要研究方向是算法設計與分析，發表論文20多篇，出版教材、教學參考書、譯著20多部，其中包含多部國家級規劃教材和北京市精品教材，所講授的離散數學課程被評為國家級精品課程，兩次被讕為北京大學十佳教師，並獲得北京市優秀教師稱號，曾主持過多項國家級教材和課程建設項目，並獲得北京市教育學成果（高等教育）一等獎。
目錄
第1章 數學語言與證明方法
1.1 內容提要
1.2 習題
1.3 習題解答與分析
第2章 命題邏輯
2.1 內容提要
2.2 習題
2.3 習題解答與分析
第3章 一階邏輯
3.1 內容提要
3.2 習題
3.3 習題解答與分析
第4章 關係
4.1 內容提要
4.2 習題
4.3 習題解答與分析
第5章 函式
5.1 內容提要
5.2 習題
5.3 習題解答與分析
第6章 圖
6.1 內容提要
6.2 習題
6.3 習題解答。與分析
第7章 樹及其套用
7.1 內容提要
7.2 習題
7.3 習題解答與分析
第8章 組合計數基礎
8.1 內容提要
8.2 習題
8.3 習題解答與分析
第9章 容斥原理
9.1 內容提要
9.2 習題
9.3 習題解答與分析
第10章 遞推方程與生成函式
10.1 內容提要
10.2 習題
10.3 習題解答與分析
第11章 初等數論
11.1 內容提要
11.2 習題
11.3 習題解答與分析
第12章 離散機率
12.1 內容提要
12.2 習題
12.3 習題解答與分析
第13章 初等數論和離散機率的套用
第14章 代數系統
參考文獻
