屈婉玲等編著的《離散數學習題解答與學習指導 (第3版)》是根據清華大學出版社與中國計算機學會 共同規劃的“21世紀大學本科計算機專業系列教材” 《離散數學(第3版)》(主教材)以及電子教案編寫 的配套教學指導用書.全書分為14章,每章包含內容 提要、習題、習題解答與分析三部分.內容提要總結 了本章的主要定義、定理、公式、重要的結果等;習 題部分包含了與上述內容配套的數十道題;習題解答 與分析部分不但對上述習題給出了詳細的解答,而且 對一些典型的解題方法做了比較深入的分析和總結. 總計超過500道題,涵蓋了數理邏輯、集合論、圖論 、組合數字、數論、離散概率、代數結構等不同模塊 的基本內容和典型的解題方法. 《離散數學習題解答與學習指導(第3版)》既可 以作為主教材的配套教學用書,也可以單獨使用,為 學習離散數學的讀者在解題能力和技巧的訓練方面提 供有益的幫助。
屈婉玲等編著的《離散數學習題解答與學習指導(第3版)》對第1章“數學語言與證明方法”做了部分重寫,對重要的數學證明方法進行了分類和較詳細的闡述,補充了有關遞歸定義的內容。第5章補充了關系與函數在數據庫及軟件工程建模中的應用實例。第6章增加了二部圖的匹配、著色和四色定理。第7章刪除了基本回路與基本割集系統。第10章對遞推方程在算法設計與分析中的應用加以補充。本書可以作為主教材的配套教學用書,也可以單獨使用。
屈婉玲,1969年畢業于北京大學物理系物理學專業,現任北京大學信息科學技術學院教授、博士生導師,中國人工智能學會離散數學專委會委員,主要研究方向是算法設計與分析,發表論文20多篇,出版教材、教學參考書、譯著20多部,其中包含多部國家級規劃教材和北京市精品教材,所講授的離散數學課程被評為國家級精品課程,兩次被讕為北京大學十佳教師,并獲得北京市優秀教師稱號,曾主持過多項國家級教材和課程建設項目,并獲得北京市教育學成果(高等教育)一等獎。
耿素云,1965年畢業于北京大學數學力學系數學專業,北大信息科學技術學院教授。一直從事數學教學,致力于離散數學教學20余年,出版教材、教學參考書20余本,其中包含多本國家級規劃教材和北京市精品教材。被評為北京市教書育人、服務育人先進工作者,北京市優秀教師,北京大學“我愛我師最受學生愛戴的老師”;獲北京市教育教學成果(高等教育)一等獎,北京大學教學成果一等獎、大眾電腦獎教金、桐山獎教金及教學優秀獎等。
張立昂,1965年畢業于北京大學數學力學系數學專業,北京大學信息科學技術學院教授、博士生導師。一直從事數學和理論計算機科學的教學與研究,主要研究方向是計算復雜性理論和算法設計與分析,發表論文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 習題 第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章 初等數論和離散概率的應用
13.1 內容提要
13.2 習題
13.3 習題解答與分析
第14章 代數系統
14.1 內容提要
14.2 習題
14.3 習題解答與分析
參考文獻