掃一掃
關(guān)注中圖網(wǎng)
官方微博
離散數(shù)學(xué) 版權(quán)信息
- ISBN：9787302682790
- 條形碼：9787302682790 ; 978-7-302-68279-0
- 裝幀：平裝-膠訂
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
離散數(shù)學(xué) 本書特色
? 系統(tǒng)性強(qiáng)，注重離散數(shù)學(xué)各知識(shí)點(diǎn)間的綜合運(yùn)用。
? 適合自學(xué)，細(xì)化知識(shí)點(diǎn)內(nèi)涵與外延，論述詳略得當(dāng)。
? 兼顧實(shí)踐，通過編程探索離散數(shù)學(xué)基本概念與基本算法。
? 聯(lián)系實(shí)際，拓展介紹離散數(shù)學(xué)方法的自動(dòng)化實(shí)現(xiàn)問題。
離散數(shù)學(xué) 內(nèi)容簡介
"本書在湖南省一流本科課程“離散數(shù)學(xué)”的基礎(chǔ)上，結(jié)合十幾年針對不同培養(yǎng)類型學(xué)生的教學(xué)實(shí)踐經(jīng)驗(yàn)編寫而成。全書共 7章，系統(tǒng)介紹集合、關(guān)系、函數(shù)、命題邏輯、謂詞邏輯、自然推理系統(tǒng)，以及圖論的基本概念、定理、算法和常用證明方法。本書不僅重視離散數(shù)學(xué)的基礎(chǔ)知識(shí)，還特別注重通過程序設(shè)計(jì)展示離散數(shù)學(xué)基本概念與基本算法；不僅關(guān)注每一章知識(shí)的應(yīng)用，還著重展示多章節(jié)內(nèi)容之間的關(guān)聯(lián)與綜合應(yīng)用；不僅介紹離散數(shù)學(xué)問題基于基本概念與定理的解決方法，還重視這些解決方法的自動(dòng)化問題。充分展示了離散數(shù)學(xué)在軟件工程和計(jì)算機(jī)科學(xué)與技術(shù)中的基礎(chǔ)作用和強(qiáng)大應(yīng)用。 本書體系嚴(yán)謹(jǐn)，內(nèi)容豐富，配有豐富的習(xí)題與在線實(shí)訓(xùn)。本書可作為計(jì)算學(xué)科各專業(yè)及其他相關(guān)專業(yè)的教材，也可作為從事相關(guān)專業(yè)的工程師和研究人員的參考書籍。 "
離散數(shù)學(xué)離散數(shù)學(xué) 前言
習(xí)近平總書記在黨的二十大報(bào)告中指出：教育、科技、人才是全面建設(shè)社會(huì)主義現(xiàn)
代化國家的基礎(chǔ)性、戰(zhàn)略性支撐。必須堅(jiān)持科技是**生產(chǎn)力、人才是**資源、創(chuàng)新
是**動(dòng)力，深入實(shí)施科教興國戰(zhàn)略、人才強(qiáng)國戰(zhàn)略、創(chuàng)新驅(qū)動(dòng)發(fā)展戰(zhàn)略，這三大戰(zhàn)略
共同服務(wù)于創(chuàng)新型國家的建設(shè)。報(bào)告同時(shí)強(qiáng)調(diào)：推動(dòng)戰(zhàn)略性新興產(chǎn)業(yè)融合集群發(fā)展，構(gòu)
建新一代信息技術(shù)、人工智能、生物技術(shù)、新能源、新材料、高端裝備、綠色環(huán)保等一
批新的增長引擎。
計(jì)算是推動(dòng)戰(zhàn)略性新興產(chǎn)業(yè)融合集群發(fā)展，構(gòu)建新一代信息技術(shù)、人工智能、生物
技術(shù)、新能源、新材料、高端裝備、綠色環(huán)保等一批新的增長引擎的 工具之一。“離
散數(shù)學(xué)”作為計(jì)算學(xué)科相關(guān)各專業(yè)的一門重要學(xué)科基礎(chǔ)課或?qū)I(yè)必修課，其重要性已得
離散數(shù)學(xué) 目錄
第 1章集合 1
1.1集合基礎(chǔ) 1
1.2集合運(yùn)算 8
1.3自然數(shù)與歸納法 18
1.4笛卡兒乘積 27
1.5小結(jié) 32
第 2章關(guān)系 33
2.1關(guān)系基礎(chǔ) 33
2.2關(guān)系圖與關(guān)系矩陣 42
2.3關(guān)系的運(yùn)算 47
2.3.1逆關(guān)系 47
2.3.2關(guān)系的合成 50
2.4關(guān)系的閉包 57
2.5相容關(guān)系 64
2.6等價(jià)關(guān)系 71
2.7序關(guān)系 78
2.8小結(jié) 88
第 3章函數(shù) 89
3.1函數(shù)基礎(chǔ) 89
3.2函數(shù)合成 98
3.3逆函數(shù) 105
3.4特征函數(shù) 111
3.5序數(shù) 118
3.6基數(shù) 122
3.7小結(jié) 132
第 4章命題邏輯 133
4.1命題及符號(hào)化 133
4.2合式公式 143
4.3等價(jià)與蘊(yùn)含 152
4.4范式與判定問題 161
4.5小結(jié) 169
離散數(shù)學(xué)
第 5章謂詞邏輯 170
5.1符號(hào)化 170
5.2合式公式 179
5.3語義證明方法 189
5.4永真式判定 193
5.5小結(jié) 199
第 6章自然推理系統(tǒng) 200
6.1自然推理系統(tǒng)基礎(chǔ) 200
6.2常用證明策略與逆向分析方法 206
6.3綜合應(yīng)用 212
6.4小結(jié) 219
第 7章圖論基礎(chǔ) 220
7.1圖的基本概念 220
7.2圖同構(gòu) 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小結(jié) 299
參考文獻(xiàn) 300
展開全部
書友推薦
- >
二體千字文
- >
經(jīng)典常談
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
羅曼·羅蘭讀書隨筆-精裝
- >
伯納黛特,你要去哪(2021新版)
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
回憶愛瑪儂
本類暢銷
