-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
離散數學 版權信息
- ISBN:9787302682790
- 條形碼:9787302682790 ; 978-7-302-68279-0
- 裝幀:平裝-膠訂
- 冊數:暫無
- 重量:暫無
- 所屬分類:>
離散數學 本書特色
? 系統性強,注重離散數學各知識點間的綜合運用。
? 適合自學,細化知識點內涵與外延,論述詳略得當。
? 兼顧實踐,通過編程探索離散數學基本概念與基本算法。
? 聯系實際,拓展介紹離散數學方法的自動化實現問題。
離散數學 內容簡介
"本書在湖南省一流本科課程“離散數學”的基礎上,結合十幾年針對不同培養類型學生的教學實踐經驗編寫而成。全書共 7章,系統介紹集合、關系、函數、命題邏輯、謂詞邏輯、自然推理系統,以及圖論的基本概念、定理、算法和常用證明方法。本書不僅重視離散數學的基礎知識,還特別注重通過程序設計展示離散數學基本概念與基本算法;不僅關注每一章知識的應用,還著重展示多章節內容之間的關聯與綜合應用;不僅介紹離散數學問題基于基本概念與定理的解決方法,還重視這些解決方法的自動化問題。充分展示了離散數學在軟件工程和計算機科學與技術中的基礎作用和強大應用。 本書體系嚴謹,內容豐富,配有豐富的習題與在線實訓。本書可作為計算學科各專業及其他相關專業的教材,也可作為從事相關專業的工程師和研究人員的參考書籍。 "
離散數學離散數學 前言
習近平總書記在黨的二十大報告中指出:教育、科技、人才是全面建設社會主義現
代化國家的基礎性、戰略性支撐。必須堅持科技是**生產力、人才是**資源、創新
是**動力,深入實施科教興國戰略、人才強國戰略、創新驅動發展戰略,這三大戰略
共同服務于創新型國家的建設。報告同時強調:推動戰略性新興產業融合集群發展,構
建新一代信息技術、人工智能、生物技術、新能源、新材料、高端裝備、綠色環保等一
批新的增長引擎。
計算是推動戰略性新興產業融合集群發展,構建新一代信息技術、人工智能、生物
技術、新能源、新材料、高端裝備、綠色環保等一批新的增長引擎的 工具之一。“離
散數學”作為計算學科相關各專業的一門重要學科基礎課或專業必修課,其重要性已得
離散數學 目錄
第 1章集合 1
1.1集合基礎 1
1.2集合運算 8
1.3自然數與歸納法 18
1.4笛卡兒乘積 27
1.5小結 32
第 2章關系 33
2.1關系基礎 33
2.2關系圖與關系矩陣 42
2.3關系的運算 47
2.3.1逆關系 47
2.3.2關系的合成 50
2.4關系的閉包 57
2.5相容關系 64
2.6等價關系 71
2.7序關系 78
2.8小結 88
第 3章函數 89
3.1函數基礎 89
3.2函數合成 98
3.3逆函數 105
3.4特征函數 111
3.5序數 118
3.6基數 122
3.7小結 132
第 4章命題邏輯 133
4.1命題及符號化 133
4.2合式公式 143
4.3等價與蘊含 152
4.4范式與判定問題 161
4.5小結 169
離散數學
第 5章謂詞邏輯 170
5.1符號化 170
5.2合式公式 179
5.3語義證明方法 189
5.4永真式判定 193
5.5小結 199
第 6章自然推理系統 200
6.1自然推理系統基礎 200
6.2常用證明策略與逆向分析方法 206
6.3綜合應用 212
6.4小結 219
第 7章圖論基礎 220
7.1圖的基本概念 220
7.2圖同構 237
7.3圖上漫游 244
7.4特殊圖 258
7.5樹 269
7.5.1無向樹 269
7.5.2有向樹 276
7.6二部圖 282
7.7平面圖 290
7.8小結 299
參考文獻 300
- >
羅曼·羅蘭讀書隨筆-精裝
- >
山海經
- >
名家帶你讀魯迅:故事新編
- >
推拿
- >
苦雨齋序跋文-周作人自編集
- >
詩經-先民的歌唱
- >
中國歷史的瞬間
- >
史學評論