掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
買過本商品的人還買了
離散數學(微課版) 版權信息
- ISBN：9787115566423
- 條形碼：9787115566423 ; 978-7-115-56642-3
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
離散數學(微課版) 本書特色
（1）本書是在國家精品課程、國家精品資源共享課程“離散數學”的基礎上，結合卓越工程師教育培養計劃和新工科建設編寫而成的；（2）與時俱進，將前沿科技技術融合到教材中；（3）提供結合課后作業提交、批閱的在線自主學習平臺。
離散數學(微課版) 內容簡介
本書是在國家精品課程、國家精品資源共享課程和重量品質本科課程“離散數學”的基礎上，結合很好工程師教育培養計劃和新工科建設編寫而成的。全書共10章，系統介紹了數理邏輯、集合與關系、圖論，以及代數系統與布爾代數中的基本概念、算法、定理及其證明方法。本書不僅注重基本概念的描述，還特別注重闡述有關離散數學的證明方法及離散數學問題求解的算法，并且舉出大量的應用實例，充分展示了離散數學在軟件工程和計算機科學與技術中的基礎作用和強大應用。
離散數學(微課版) 目錄
章 集合論
本章思維導圖
歷史人物
1.1 集合的基本概念
1.1.1 集合的表示
1.1.2 集合與集合的關系
1.1.3 幾個特殊集合
1.2 集合的運算
1.3 無限集
1.3.1 可數集
1.3.2 不可數集
1.4 與集合相關的應用
1.4.1 集合的計算機表示
1.4.2 計數問題
1.5 習題
第2章 命題邏輯
本章思維導圖
歷史人物
2.1 命題與命題聯結詞
2.1.1 命題
2.1.2 命題聯結詞
2.1.3 自然語言的命題符號化
2.2 命題公式、解釋與真值表
2.2.1 命題公式
2.2.2 命題公式的解釋與真值表
2.2.3 命題公式的基本等價定律
2.3 公式的標準型——范式
2.3.1 命題聯結詞的完備集
2.3.2 析取范式和合取范式
2.3.3 主析取范式和主合取范式
2.4 命題邏輯的推理理論
2.4.1 推理的基本概念
2.4.2 推理有效性的判別方法
2.5 命題邏輯的應用
2.5.1 命題聯結詞的應用
2.5.2 命題公式的應用
2.5.3 范式的應用
2.5.4 命題邏輯推理的應用
2.6 習題
第3章 謂詞邏輯
本章思維導圖
歷史人物
3.1 自然語言的謂詞符號化
3.1.1 謂詞
3.1.2 量詞
3.2 謂詞公式與解釋
3.2 。1謂詞公式
3.2.2 自由變元和約束變元
3.2.3 謂詞公式的解釋
3.2.4 謂詞公式的基本等價定律
3.3 謂詞公式的標準型——前束范式
3.3.1 前束范式
3.3.2 Skolem范式
3.4 謂詞邏輯的推理理論
3.4.1 推理規則與推理定律
3.4.2 推理有效性的判別方法
3.5 謂詞邏輯的應用
3.6 題
……
第4章 二元關系
第5章 特殊關系
第6章 圖
第7章 特殊圖
第8章 代數系統
第9章 群、環、域
0章 格與布爾代數
參考文獻
展開全部
離散數學(微課版) 作者簡介
本書編寫組成員現為電子科技大學信息與軟件工程學院和計算機科學與工程學院“離散數學”課程組教師，長期從事與離散數學密切相關的教學、科研、應用開發和社會服務等方面的工作，主要研究領域包括人工智能、大數據處理與應用、云計算等。 編寫組成員長期致力于“離散數學”課程的教學與研究，具有豐富的“離散數學”教學研究經驗，取得了豐碩的教學研究成果。2005年“離散數學”課程被評為精品課程；2008年“離散數學”課程被評為國家雙語示范課程；2009年“離散數學”教學團隊被評為四川省省級教學團隊；2012年“離散數學”被評為教育部精品資源共享課程；2018年“離散數學”課程被評為精品在線開放課程；2020年編寫組成員完成的“以學生為中心”的離散數學課程綜合改革與實踐”獲電子科技大學教學成果二等獎。多人次獲得電子科技大學優秀主講教師、專業核心課程骨干教師等稱號。編寫組成員先后編寫了國家“十一五”規劃教材《離散數學及應用（2019年第3版，2013年第2版，2007年第1版）》，《離散數學實驗與習題解析》（2007年，高等教育出版社），《離散數學》（2004年，機械工業出版社），《離散數學及其應用》（1997年，電子工業出版社），編寫《離散數學及其應用習題解析》（1997年，電子工業出版社），《計算復雜性》（2005年，機械工業出版社），《并行算法及其應用》（2005年，機械工業出版社）；自主研發了集作業發布、撰寫、上傳、批改及數據統計為一體“離散數學”教學輔助系統，實現了考核方式的科學化和標準化。
書友推薦
- >
【精裝繪本】畫給孩子的中國神話
- >
二體千字文
- >
羅曼·羅蘭讀書隨筆-精裝
- >
史學評論
- >
回憶愛瑪儂
- >
月亮與六便士
- >
經典常談
- >
名家帶你讀魯迅:故事新編
本類暢銷
