離散數(shù)學(xué)

內(nèi)容概要

　　《離散數(shù)學(xué)》可作為高等工科院校計(jì)算機(jī)專業(yè)和信息類專業(yè)的教材，也可供高等職業(yè)技術(shù)學(xué)院、高等工業(yè)?？茖W(xué)校及其他大專院校的師生以及編程人員參考使用。離散數(shù)學(xué)是計(jì)算機(jī)專業(yè)和部分信息類專業(yè)的必修課程，也是IEEE的教育委員會(huì)建議的計(jì)算機(jī)專業(yè)本科必修課程。為適應(yīng)當(dāng)前教育需求，《離散數(shù)學(xué)》降低了理論環(huán)節(jié)的難度，強(qiáng)調(diào)實(shí)踐及應(yīng)用環(huán)節(jié)。書(shū)中詳細(xì)介紹了算法基礎(chǔ)、集合與序列、關(guān)系與函數(shù)、邏輯與證明、圖論、網(wǎng)絡(luò)模型、代數(shù)系統(tǒng)以及有限狀態(tài)機(jī)和圖靈機(jī)等內(nèi)容。為了便于學(xué)生上機(jī)編寫(xiě)程序，《離散數(shù)學(xué)》在編寫(xiě)的過(guò)程中增加了算法章節(jié)。

書(shū)籍目錄

第1章 算法基礎(chǔ)1.1 算法簡(jiǎn)介1.2 算法表示1.3 算法分析習(xí)題上機(jī)習(xí)題第2章 集合與序列2.1 定義和運(yùn)算2.1.1 集合的定義2.1.2 集合運(yùn)算的實(shí)現(xiàn)2.1.3 集合運(yùn)算的性質(zhì)2.2 序列與串2.3 矩陣習(xí)題上機(jī)習(xí)題第3章 關(guān)系與函數(shù)3.1 關(guān)系的定義與表示3.1.1 二元關(guān)系的定義3.1.2 關(guān)系的表示3.2 復(fù)合運(yùn)算3.3 關(guān)系的性質(zhì)3.3.1 性質(zhì)定義3.3.2 關(guān)系性質(zhì)的判定算法3.4 等價(jià)關(guān)系3.5 次序關(guān)系3.5.1 偏序關(guān)系3.5.2 線性次序3.5.3 擬序關(guān)系3.6 問(wèn)題求解3.7 函數(shù)3.7.1 函數(shù)的定義3.7.2 函數(shù)的性質(zhì)習(xí)題上機(jī)習(xí)題第4章 邏輯與證明4.1 命題邏輯4.1.1 命題的定義與運(yùn)算4.1.2 條件命題4.1.3 邏輯等價(jià)4.2 謂詞邏輯4.3 邏輯學(xué)與Web搜索4.4 推理與證明4.4.1 等式推理4.4.2 歸結(jié)證明習(xí)題上機(jī)習(xí)題第5章 圖論5.1 基本概念5.1.1 圖的起源5.1.2 圖的定義5.1.3 通路與回路5.2 圖的表示5.3 圖與問(wèn)題求解5.4 歐拉圖5.5 漢密爾頓回路5.6 最短路徑算法習(xí)題上機(jī)習(xí)題……第6章 網(wǎng)絡(luò)模型第7章 代數(shù)系統(tǒng)第8章 有限狀態(tài)機(jī)和圖靈機(jī)附錄

章節(jié)摘錄

版權(quán)頁(yè)：插圖：因?yàn)閷?duì)“well-defined procedure”定義嚴(yán)謹(jǐn)?shù)倪^(guò)程缺少數(shù)學(xué)上的精確定義，19世紀(jì)和20世紀(jì)早期的數(shù)學(xué)家、邏輯學(xué)家在定義算法上出現(xiàn)了困難。20世紀(jì)的英國(guó)數(shù)學(xué)家圖靈提出了著名的圖靈論題，并提出一種假想的計(jì)算機(jī)抽象模型，這個(gè)模型被稱為圖靈機(jī)。圖靈機(jī)的出現(xiàn)解決了算法定義的難題，圖靈的思想對(duì)算法的發(fā)展起到了重要作用。如果沒(méi)有人們編制的軟件去指揮計(jì)算機(jī)工作，計(jì)算機(jī)將一無(wú)所用。軟件是計(jì)算機(jī)的靈魂，而軟件的核心是算法。用計(jì)算機(jī)解決問(wèn)題的方法就是算法，計(jì)算機(jī)是執(zhí)行算法的機(jī)器，讓計(jì)算機(jī)解決各種問(wèn)題主要就是創(chuàng)造各種算法。計(jì)算機(jī)科學(xué)家尼克勞斯·沃思寫(xiě)過(guò)一本著名的書(shū)《數(shù)據(jù)結(jié)構(gòu)+算法=程序》，可見(jiàn)算法在計(jì)算機(jī)科學(xué)界與計(jì)算機(jī)應(yīng)用界的地位。算法可以理解為由基本運(yùn)算及規(guī)定的運(yùn)算順序所構(gòu)成的完整的解題步驟，或者看成按照要求設(shè)計(jì)好的、有限的、確切的計(jì)算序列，并且這樣的步驟和序列可以解決一類問(wèn)題。下面以數(shù)學(xué)家華羅庚的“泡茶”為例，來(lái)說(shuō)明算法的特性。初始情況：沒(méi)有開(kāi)水，開(kāi)水壺沒(méi)洗，茶壺、茶杯沒(méi)洗，火已生了，有茶葉。最終情況：用開(kāi)水泡茶喝。

編輯推薦

《離散數(shù)學(xué)》：降低理論環(huán)節(jié)的要求，減少一些繁瑣的證明。增加應(yīng)用性內(nèi)容，提供所講述知識(shí)點(diǎn)的應(yīng)用實(shí)例。增加算法章節(jié)，在許多概念和定理中加入算法說(shuō)明。每章安排上機(jī)練習(xí)題，便于實(shí)踐課程的開(kāi)展。

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

    離散數(shù)學(xué) PDF格式下載

---