普通高等院校計(jì)算機(jī)類專業(yè)規(guī)劃教材：離散數(shù)學(xué)
定 價(jià)：36 元
叢書名：普通高等院校計(jì)算機(jī)類專業(yè)規(guī)劃教材
- 作者：[中國(guó)]周淑云
- 出版時(shí)間：2018/7/1
- ISBN：9787113246105
- 出 版 社：中國(guó)鐵道出版社
- 中圖法分類：O158
- 頁(yè)碼：
- 紙張：膠版紙
- 版次：
- 開本：16開
離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的重要分支，是計(jì)算機(jī)科學(xué)理論的基礎(chǔ)。 本書內(nèi)容包括四部分：*部分為數(shù)理邏輯，包括第1章命題邏輯、第2章謂詞邏輯；第二部分為集合論，包括第3章集合、第4章二元關(guān)系和函數(shù)；第三部分為圖論，包括第5章圖簡(jiǎn)介、第6章特殊的圖、第7章樹；第四部分為代數(shù)系統(tǒng)，包括第8章代數(shù)系統(tǒng)簡(jiǎn)介、第9章幾個(gè)典型的代數(shù)系統(tǒng)。 本書適合作為普通高等院校計(jì)算機(jī)類專業(yè)的教材，也可供計(jì)算機(jī)軟件從業(yè)人員學(xué)習(xí)與參考。
本書特色：1.內(nèi)容簡(jiǎn)明扼要，深入淺出，語(yǔ)言準(zhǔn)確，易于閱讀。為了讓學(xué)生理解和掌握離散數(shù)學(xué)的基本知識(shí)，基本概念和主要定理盡可能直觀化、形象化；重視基本運(yùn)算和基本能力的掌握。2.力求例題、習(xí)題配置合理，難易適中，形式多樣.教材每一章配備了一定數(shù)量的習(xí)題，書后給出了大部分的習(xí)題解答，以便學(xué)生加深對(duì)基本概念的理解和基本方法的掌。
離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的重要分支，是計(jì)算機(jī)科學(xué)理論的基礎(chǔ)。為了保證本書的教學(xué)適用性，編者根據(jù)多年的教學(xué)實(shí)踐和體會(huì)，在編寫過(guò)程中力求突顯其構(gòu)筑知識(shí)體系基礎(chǔ)。本書具有以下特點(diǎn)：（1）簡(jiǎn)明扼要，深入淺出，語(yǔ)言準(zhǔn)確，易于閱讀。為了讓學(xué)生理解和掌握離散數(shù)學(xué)的基本知識(shí)，基本概念和主要定理盡可能直觀化、形象化，重視基本運(yùn)算和基本能力的培養(yǎng)。（2）例題、習(xí)題配置合理，難易適中，形式多樣。每一章配備了一定數(shù)量的習(xí)題，書后給出了大部分習(xí)題的參考答案，以便學(xué)生加深對(duì)基本概念的理解和對(duì)基本方法的掌握。本書由周淑云任主編，姚志敏、魏文芬任副主編。具體編寫分工如下：周淑云編寫第1～4章，姚志敏編寫第5～7章，并繪制了第4章圖和第9章部分圖，魏文芬、周淑云共同編寫第8、9章。廖金祥教授對(duì)本書做了認(rèn)真細(xì)致的審閱，提出了許多寶貴的意見(jiàn)，在此表示衷心的感謝！本書的每一部分著重于基本概念和基本理論的論述和應(yīng)用，適合作為普通高等院校計(jì)算機(jī)類專業(yè)教材，也可供計(jì)算機(jī)軟件從業(yè)人員學(xué)習(xí)與參考。由于編者水平有限，書中難免有不妥和疏漏之處，懇請(qǐng)專家、同行和讀者批評(píng)指正。編者2018年4月
周淑云，女，漢族，河南省洛陽(yáng)市人，1964年4月生，理學(xué)碩士，廣東培正學(xué)院計(jì)算機(jī)科學(xué)與工程系教授，多年從事代數(shù)學(xué)的教學(xué)和科研工作。主講離散數(shù)學(xué)、高等代數(shù)、代數(shù)學(xué)、高等數(shù)學(xué)、線性代數(shù)等課程，主要研究方向：Rota-Baxter代數(shù)、半群代數(shù)及其應(yīng)用。主持參與完成多項(xiàng)校級(jí)課題，在Algebra Colloquium、Pure Mathematics and Applications等國(guó)際、國(guó)內(nèi)期刊上發(fā)表論文20余篇，
第一部分?jǐn)?shù)理邏輯
第1章命題邏輯4
11命題與聯(lián)結(jié)詞4
12命題公式與類型8
13命題公式的等值式與蘊(yùn)含式10
14對(duì)偶式與聯(lián)結(jié)詞全功能集14
15主范式17
16命題邏輯的推論理論23
習(xí)題127
第2章謂詞邏輯30
21個(gè)體、謂詞與量詞30
22謂詞公式33
23謂詞邏輯的等值式與前束范式37
24謂詞邏輯的推理理論40
習(xí)題243
第二部分集合論
第3章集合46
31集合的基本概念46
32集合的基本運(yùn)算49
33集合的運(yùn)算性質(zhì)51
習(xí)題353
第4章二元關(guān)系與函數(shù)56
41笛卡兒積與二元關(guān)系56
42關(guān)系的運(yùn)算60
43關(guān)系的性質(zhì)65
44關(guān)系的閉包運(yùn)算70
45等價(jià)關(guān)系和偏序關(guān)系73
46函數(shù)的基本概念81
47復(fù)合函數(shù)和反函數(shù)85
48集合的基數(shù)88
習(xí)題493
第三部分圖論
第5章圖簡(jiǎn)介98
51圖的基本概念98
52通路、回路和圖的連通性104
53圖的矩陣表示107
54最短路徑,關(guān)鍵路徑與著色110
習(xí)題5115
第6章特殊的圖118
61二部圖118
62歐拉圖121
63哈密頓圖123
64平面圖125
習(xí)題6131
第7章樹135
71無(wú)向樹及生成樹135
72根樹及其應(yīng)用138
習(xí)題7144
第四部分代數(shù)系統(tǒng)
第8章代數(shù)系統(tǒng)簡(jiǎn)介150
81二元運(yùn)算及其性質(zhì)150
82代數(shù)系統(tǒng)157
習(xí)題8162
第9章幾個(gè)典型的代數(shù)系統(tǒng)163
91半群與群163
92環(huán)與域171
93格與布爾代數(shù)173
習(xí)題9183
習(xí)題參考答案185
參考文獻(xiàn)201
書單推薦
