離散數學第2版

離散數學第2版

《離散數學第2版》是2008年清華大學出版社出版的圖書,作者是屈碗玲、耿素雲、張立昂。全書共14章,內容包含證明技巧、數理邏輯、集合與關係、函式、組合計數、圖和樹、初等數論、離散機率、代數系統等。

編輯推薦

國家精品課程配套教材;根據教育部“高等計算機科學與技術專業規範”組織編寫;與美國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 數學歸納法

習題

相關詞條

熱門詞條

聯絡我們