離散數(shù)學(xué)（21世紀(jì)高等學(xué)校計算機(jī)教育實(shí)用規(guī)劃教材）
定 價：29.5 元
叢書名：21世紀(jì)高等學(xué)校計算機(jī)教育實(shí)用規(guī)劃教材
當(dāng)前圖書已被 2 所學(xué)校薦購過！
查看明細(xì)
- 作者：孫道德 主編
- 出版時間：2013/7/1
- ISBN：9787302299431
- 出 版 社：清華大學(xué)出版社
- 中圖法分類：O158
- 頁碼：246
- 紙張：膠版紙
- 版次：1
- 開本：16開
《21世紀(jì)高等學(xué)校計算機(jī)教育實(shí)用規(guī)劃教材：離散數(shù)學(xué)》共分為4篇：數(shù)理邏輯、集合論、代數(shù)系統(tǒng)、圖論。數(shù)理邏輯包括命題邏輯和謂詞邏輯；集合論介紹了集合、關(guān)系、函數(shù)等；代數(shù)系統(tǒng)介紹了群、環(huán)、域等；圖論部分介紹了圖的基本概念及特殊圖�！�21世紀(jì)高等學(xué)校計算機(jī)教育實(shí)用規(guī)劃教材：離散數(shù)學(xué)》結(jié)合基本理論和基本方法詳細(xì)介紹了這4部分在計算機(jī)中的實(shí)際應(yīng)用。在編寫過程中，以數(shù)理邏輯的基本思想為主線，將離散數(shù)學(xué)各個部分有機(jī)地結(jié)合起來，力求條理清楚、深入淺出，通過該課程的學(xué)習(xí)，可使讀者掌握必備的離散數(shù)學(xué)知識，并提高其利用離散數(shù)學(xué)知識分析和解決實(shí)際問題的能力。
《21世紀(jì)高等學(xué)校計算機(jī)教育實(shí)用規(guī)劃教材：離散數(shù)學(xué)》可作為一般本科院校計算機(jī)科學(xué)技術(shù)等相關(guān)專業(yè)的本科生和研究生的教學(xué)用書，也可作為計算機(jī)科學(xué)與技術(shù)以及研究人員的參考用書。
《21世紀(jì)高等學(xué)校計算機(jī)教育實(shí)用規(guī)劃教材：離散數(shù)學(xué)》特點(diǎn)： 加強(qiáng)了現(xiàn)代計算機(jī)科學(xué)、數(shù)字技術(shù)、圖論與離散數(shù)學(xué)的結(jié)合 更新和增加了離散數(shù)學(xué)應(yīng)用實(shí)例。主要內(nèi)容包含數(shù)理邏輯、集合與關(guān)系、函數(shù)、代數(shù)系統(tǒng)、圖和樹。
隨著計算機(jī)學(xué)科與技術(shù)的發(fā)展以及現(xiàn)在對計算機(jī)人才的需求的變化，對學(xué)生掌握的知識也將發(fā)生巨大的變化，不僅要求學(xué)生擴(kuò)大理論范圍的了解，同時要求學(xué)生增加實(shí)踐知識的訓(xùn)練。離散數(shù)學(xué)是理論與實(shí)踐結(jié)合緊密的科學(xué)，它是計算機(jī)科學(xué)與技術(shù)以及其他應(yīng)用學(xué)科的理論基礎(chǔ)。離散數(shù)學(xué)課程所傳授的思想和方法，廣泛地體現(xiàn)在計算機(jī)科學(xué)技術(shù)及相關(guān)專業(yè)的諸領(lǐng)域，通過對離散數(shù)學(xué)的學(xué)習(xí)，能夠鍛煉抽象思維和邏輯推理的能力，對科學(xué)計算、信息處理、軟件工程、硬件設(shè)計、科學(xué)研究、日常事務(wù)和計算機(jī)應(yīng)用都打下堅(jiān)實(shí)基礎(chǔ)，特別對從事計算機(jī)科學(xué)與理論研究的高層次計算機(jī)人員來說，更是一門必不可少的基礎(chǔ)理論工具。
本書依據(jù)《中國計算機(jī)科學(xué)與技術(shù)學(xué)科教程2002》中制定的關(guān)于離散數(shù)學(xué)的知識結(jié)構(gòu)和體系為依據(jù)撰寫，在內(nèi)容選擇上，力求做到理工科學(xué)生通俗易懂，理論聯(lián)系實(shí)際，增強(qiáng)學(xué)生邏輯思維能力和學(xué)習(xí)方法的訓(xùn)練，闡述了離散數(shù)學(xué)證明問題的方法。在講解原理的基礎(chǔ)之上，結(jié)合現(xiàn)代先進(jìn)的計算機(jī)科學(xué)技術(shù)，從內(nèi)容和形式上發(fā)展本門學(xué)科，主要體現(xiàn)在： ①加強(qiáng)了現(xiàn)代計算機(jī)科學(xué)、數(shù)字技術(shù)、圖論與離散數(shù)學(xué)的結(jié)合； ②更新和增加了離散數(shù)學(xué)應(yīng)用實(shí)例。主要內(nèi)容包含數(shù)理邏輯、集合與關(guān)系、函數(shù)、代數(shù)系統(tǒng)、圖和樹。內(nèi)容設(shè)計增加幫助理解理論的習(xí)題分析，對于加強(qiáng)素質(zhì)教育，培養(yǎng)抽象思維和邏輯表達(dá)能力，提高發(fā)現(xiàn)問題、分析問題、解決問題的能力起著引導(dǎo)和幫助作用。
教材編寫力求體系嚴(yán)謹(jǐn)、選材適當(dāng)、針對性強(qiáng)、有利教學(xué)，同時在素材組織上更加注重在計算機(jī)科學(xué)技術(shù)中的應(yīng)用。注重語言的通俗性和符號的統(tǒng)一性、規(guī)范性、簡潔性，注重邏輯思維能力的訓(xùn)練。將數(shù)理邏輯教學(xué)內(nèi)容放在第一部分，在集合與關(guān)系、代數(shù)系統(tǒng)、圖與樹的教學(xué)內(nèi)容中始終貫穿數(shù)理邏輯的推理思想，有效鍛煉學(xué)生的嚴(yán)謹(jǐn)邏輯思維能力。
本書寫作大綱和內(nèi)容特色由孫道德教授提出，數(shù)理邏輯和集合論部分的寫作由王秀友副教授執(zhí)筆，代數(shù)結(jié)構(gòu)和圖論部分的寫作由王敏生副教授執(zhí)筆，最后由孫道德教授統(tǒng)稿，同時邀請了教學(xué)第一線的教師參與了工作，提出了很多的寶貴意見，并汲取了他們豐富的教學(xué)成果，在此向他們表示感謝。但是由于水平有限，問題甚至錯誤在所難免，謹(jǐn)請讀者批評指正。
編著者
2013年3月
第1篇 數(shù)理邏輯
第1章 命題邏輯
1.1 命題及邏輯聯(lián)結(jié)詞
1.2 命題公式與真值函數(shù)
1.3 命題公式的等價與蘊(yùn)涵
1.4 命題邏輯的推理理論
1.5 對偶與范式
1.6 其他邏輯聯(lián)結(jié)詞
1.7 邏輯聯(lián)結(jié)詞的功能完備集
命題邏輯小結(jié)
第2章 一階謂詞邏輯
2.1 基本概念
2.2 謂詞合式公式與客體變元的約束
2.3 謂詞公式的等價與蘊(yùn)涵
2.4 謂詞邏輯的推理理論
第1篇 數(shù)理邏輯
第1章 命題邏輯
1.1 命題及邏輯聯(lián)結(jié)詞
1.2 命題公式與真值函數(shù)
1.3 命題公式的等價與蘊(yùn)涵
1.4 命題邏輯的推理理論
1.5 對偶與范式
1.6 其他邏輯聯(lián)結(jié)詞
1.7 邏輯聯(lián)結(jié)詞的功能完備集
命題邏輯小結(jié)
第2章 一階謂詞邏輯
2.1 基本概念
2.2 謂詞合式公式與客體變元的約束
2.3 謂詞公式的等價與蘊(yùn)涵
2.4 謂詞邏輯的推理理論
2.5 前束范式
一階謂詞邏輯小結(jié)
第2篇 集合與關(guān)系
第3章 集合及其運(yùn)算
3.1 集合的概念及其表示
3.2 集合的基本運(yùn)算
3.3 集合中元素的計數(shù)
集合及其運(yùn)算小結(jié)
第4章 二元關(guān)系
4.1 集合的笛卡兒積
4.2 二元關(guān)系
4.3 等價關(guān)系與集合的劃分
4.4 相容關(guān)系與集合的覆蓋
4.5 偏序關(guān)系
二元關(guān)系小結(jié)
第5章 函數(shù)
5.1 函數(shù)的概念
5.2 特殊的函數(shù)及特征函數(shù)
5.3 逆函數(shù)與復(fù)合函數(shù)
5.4 集合的勢與無限集合
函數(shù)小結(jié)
第3篇 代數(shù)系統(tǒng)篇
第6章 代數(shù)結(jié)構(gòu)
6.1 代數(shù)系統(tǒng)的概念
6.2 代數(shù)系統(tǒng)的運(yùn)算及其性質(zhì)
6.3 半群與含幺半群
6.4 群與子群
6.5 交換群與循環(huán)群
6.6 陪集與拉格朗日定理
6.7 同態(tài)與同構(gòu)
6.8 環(huán)與域
代數(shù)結(jié)構(gòu)小結(jié)
第7章 格與布爾代數(shù)
7.1 格的概念
7.2 分配格
7.3 有補(bǔ)格
7.4 布爾代數(shù)與布爾表達(dá)式
格與布爾代數(shù)小結(jié)
第4篇 圖論篇
第8章 圖論
8.1 圖的基本概念
8.2 圖的通路與連通性
8.3 圖的矩陣表示
8.4 圖的著色
圖論小結(jié)
……
參考文獻(xiàn)
書單推薦
