包郵離散數學第3版

作者：屈婉玲

出版社：清華大學出版社出版時間：2020-07-01

開本： 16開 頁數： 334

本類榜單：教材銷量榜

中圖價:¥39.9(6.7折) 定價 ~~¥59.8~~ 登錄后可看到會員價

加入購物車收藏

開年大促， 全場包郵

?新疆、西藏除外

本類五星書更多>

>
闖進數學世界――探秘歷史名題

闖進數學世界――探秘歷史名題

¥20.7¥32.8
>
中醫基礎理論

中醫基礎理論

¥51.7¥59
>
當代中國政府與政治(新編21世紀公共管理系列教材)

當代中國政府與政治(新編21世紀公共管理系列教材)

¥31.2¥48
>
高校軍事課教程

高校軍事課教程

¥12.4¥38
>
思想道德與法治(2021年版)

思想道德與法治(2021年版)

¥8.5¥18
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)

毛澤東思想和中國特色社會主義理論體系概論(2021年版)

¥8.5¥25
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材

中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材

¥85.1¥99

商品詳情
商品評論(0條)

中圖價:¥39.9 加入購物車

版權信息
內容簡介
目錄
作者簡介

離散數學第3版版權信息

ISBN：9787302339892
條形碼：9787302339892 ; 978-7-302-33989-2
裝幀：一般膠版紙
冊數：暫無
重量：暫無
所屬分類：
教材
>
研究生/本科/專科教材

離散數學第3版內容簡介

　　《離散數學（第3版）》是參照ACM和IEEE新推出的Computing Curricula，根據教育部高等學校計算機科學與技術教學指導委員會新編制的“高等學校計算機科學與技術專業規范”中制定的關于離散數學的知識結構和體系撰寫的。　　《離散數學（第3版）》共14章，內容包含證明技巧、數理邏輯、集合與關系、函數、組合計數、圖和樹、初等數論、離散概率、代數系統等。　　《離散數學（第3版）》體系嚴謹，文字精練，內容翔實，例題豐富，注重與計算機科學技術的實際問題相結合，并選配了大量難度適當的習題，適合教學。　　另外，《離散數學（第3版）》有配套的習題解答與學習指導等教學輔導用書，以及用于課堂教學的PPT演示文稿和在線數字資源等，以滿足教學需要。　　《離散數學（第3版）》適合作為高等學校計算機及相關專業本科生“離散數學”課程的教材，也可以作為對離散數學感興趣的人員的入門參考書。　　《離散數學（第3版）》特色：　　符合教育部高等學校計算機科學與技術教學指導委員會發布的“高等學校計算機科學與技術專業規范”，圍繞核心知識點精心選材，教學目標定位清晰。　　引入了較多的來自科研和工程實踐的典型實例，注重把離散數學嚴謹的知識體系與計算機科學技術的發展相結合。　　凝練了多年的課程建設成果，內容覆蓋合理，習題選配恰當，語言通俗易懂，教學資源豐富，適合教學使用。

離散數學第3版目錄

第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．4 遞歸定義
習題

第2章命題邏輯
2．1 命題邏輯基本概念
2．1．1 命題與聯結詞
2．1．2 命題公式及其分類
2．2 命題邏輯等值演算
2．2．1 等值式與等值演算
2．2．2 聯結詞完備集
2．3 范式
2．3．1 析取范式與合取范式
2．3．2 主析取范式與主合取范式
2．4 推理
2．4．1 推理的形式結構
2．4．2 推理的證明
2．4．3 歸結證明法
2．4．4 對證明方法的補充說明
習題

第3章一階邏輯
3．1 一階邏輯基本概念
3．1．1 命題邏輯的局限性
3．1．2 個體詞、謂詞與量詞
3．1．3 一階邏輯命題符號化
3．1．4 一階邏輯公式與分類
3．2 一階邏輯等值演算
3．2．1 一階邏輯等值式與置換規則
3．2．2 一階邏輯前束范式
習題

第4章關系
4．1 關系的定義及其表示
4．1．1 有序對與笛卡兒積
4．1．2 二元關系的定義
4．1．3 二元關系的表示
4．2 關系的運算
4．2．1 關系的基本運算
4．2．2 關系的冪運算
4．3 關系的性質
4．3．1 關系性質的定義和判別
4．3．2 關系的閉包
4．4 等價關系與偏序關系
4．4．1 等價關系
4．4．2 等價類和商集
4．4．3 集合的劃分
4．4．4 偏序關系
4．4．5 偏序集與哈斯圖
習題
……

第5章函數
第6章圖
第7章樹及其應用
第8章組合計數基礎
第9章容斥原理
第10章遞推方程與生成函數
第11章初等數論
第12章離散概率
第13章初等數論和離散概率的應用
第14章代數系統
參考文獻

展開全部

離散數學第3版作者簡介

　　屈婉玲，1969年畢業于北京大學物理系物理學專業，現任北京大學信息科學技術學院教授、博士生導師，中國人工智能學會離散數學專委會委員。主要研究方向是算法設計與分析，發表論文20多篇，出版教材、教學參考書、譯著20多部，其中包含多部國家級規劃教材和北京市精品教材。所講授的離散數學課程被評為國家精品課程，兩次被評為北京大學十佳教師，并獲得北京市優秀教師稱號。曾主持過多項國家教材和課程建設項目，并獲得北京市教育教學成果（高等教育）一等獎。　　　　耿素云，1965年畢業于北京大學數學力學系數學專業，北京大學信息科學技術學院教授。一直從事數學教學，致力于離散數學教學20余年，出版教材、教學參考書20余本。被評為北京市教書育人、服務育人先進工作者，北京市優秀教師，北京大學我愛我師——受學生愛戴的老師；獲北京市教育教學成果（高等教育）一等獎，北京大學教學成果一等獎、大眾電腦獎教金、桐山獎教金及教學優秀獎等。　　　　張立昂，1965年畢業于北京大學數學力學系數學專業，北京大學信息科學技術學院教授、博士生導師。一直從事數學和理論計算機科學的教學與研究，主要研究方向是計算復雜性理論和算法設計與分析，發表論文20余篇，出版教材、教學參考書、譯著20余本。獲教育部科學技術進步二等獎，北京市教育教學成果（高等教育）一等獎，北京大學教學成果一等獎、正大獎教金及教學優秀獎等。

商品評論(0條)

寫書評賺書幣

暫無評論……

書友推薦