編輯推薦
國家精品課程配套教材;根據教育部“高等計算機科學與技術專業規範”組織編寫;與美國ACM和IEEE Computing Curricula 2005同步。
內容簡介
本教材是參照ACM和IEEE最新推出的Computing Curricula 2005,根據教育部高等學校計算機科學與技術教學指導委員會最新編制的“高等學校計算機科學與技術專業規範”中制定的關於離散數學的知識結構和體系撰寫的。本書體系嚴謹,選材精煉,講解翔實,例題豐富,注重與計算機科學技術的實際問題相結合,並選配了大量難度適當的習題,適合教學,另外,本書有配套的習題解答與學習指導等教學輔
作者簡介
屈婉玲,1969年畢業於北京大學物理系物理學專業,現任北京大學信息科學技術學院教授、博士生導師,中國人工智慧學會離敞數學專委會委員。主要研究方向是算法設計與分析,發表論文20多篇,出版教材、數學參考書、譯著20多部,其中包含多部國家級規劃教材和北京市精品教材。所講授的離散數學課程被評為國家級精品課程,兩次被評為北京大學十佳教師,獲得北京市優秀教師稱號。曾主持過多項國家級教材和課程建設項日,並獲得北京市教育教學成果(高等教育)一等獎。
圖書目錄
第1章 數學語言與證明方法
1.1 常用的數學符號
1.1.1 集合符號
1.1.2 運算符號
1.1.3 邏輯符號
1.2 集合及其運算
1.2.1 集合及其表示法
1.2.2 集合之間的包含與相等
1.2.3 集合的冪集
1.2.4 集合的運算
1 2.5 基本集合恆等式及其套用
1.3 證明方法概述
1.3.1 邏輯推理的形式結構
1.3.2 公理、定理與證明
1.3.3 證明方法
1.3.4 數學歸納法
習題