離散數(shù)學(xué)及應(yīng)用

內(nèi)容概要

　　《高等學(xué)校理工科教材：離散數(shù)學(xué)及應(yīng)用》是按國(guó)家教委離散教學(xué)教學(xué)大綱的精神，并根據(jù)筆者多年來(lái)從事離散數(shù)學(xué)課程的教學(xué)實(shí)踐經(jīng)驗(yàn)以及計(jì)算機(jī)科研工作經(jīng)驗(yàn)編寫而成?！陡叩葘W(xué)校理工科教材：離散數(shù)學(xué)及應(yīng)用》內(nèi)容包括數(shù)理邏輯、集合論、圖論、代數(shù)結(jié)構(gòu)四個(gè)基本部分以及應(yīng)用部分。應(yīng)用部分主要介紹用計(jì)算機(jī)化簡(jiǎn)邏輯函數(shù)、形式語(yǔ)言與自動(dòng)機(jī)這兩個(gè)專題?！　　陡叩葘W(xué)校理工科教材：離散數(shù)學(xué)及應(yīng)用》可作為計(jì)算機(jī)專業(yè)的離散教學(xué)教材，也可作為有關(guān)專業(yè)的教學(xué)用書，并可供有關(guān)專業(yè)的工程技術(shù)人員及具有高中以上文化水平的讀者參考。

書籍目錄

第一篇數(shù)理邏輯第一章 命題演算1.1 命題及聯(lián)結(jié)詞1.2 命題變?cè)c命題公式1.3 命題演算的關(guān)系式1.4 其他聯(lián)結(jié)詞1.5 范式1.6 命題演算的推理第二章 謂詞演算2.1 謂詞演算的基本概念2.2 謂詞演算的關(guān)系式2.3 前束范式2.4 謂詞演算的推理習(xí)題一學(xué)習(xí)提要一第二篇集合論第三章 集合3.1 集合的基本概念3.2 集合的運(yùn)算及基本公式3.3 冪集3.4 包含排斥原理3.5 集合的直積（笛卡兒乘積）第四章 關(guān)系4.1 關(guān)系及其運(yùn)算4.2 關(guān)系的有關(guān)性質(zhì)4.3 關(guān)系的閉包運(yùn)算4.4 等價(jià)關(guān)系和相容關(guān)系4.5 偏序關(guān)系第五章 映射與無(wú)限集5.1 映射5.2 無(wú)限集習(xí)題一學(xué)習(xí)提要二第三篇圖論第六章 圖論6.1 圖的基本概念6.2 樹6.3 圖的矩陣表示6.4 平面圖6.5 二分圖與匹配習(xí)題三學(xué)習(xí)提要三第四篇代數(shù)結(jié)構(gòu)第七章 代數(shù)結(jié)構(gòu)的基本知識(shí)7.1 代數(shù)系統(tǒng)的基本概念7.2 同構(gòu)與同態(tài)第八章 半群與群8.1 半群、循環(huán)半群與幺半群8.2 群8.3 置換群與對(duì)稱群8.4 循環(huán)群8.5 陪集與拉格朗日定理第九章 環(huán)與域9.1 環(huán)與幺環(huán)9.2 整環(huán)與除環(huán)9.3 域第十章 格與布爾代數(shù)10.1 格與代數(shù)系統(tǒng)10.2 布爾格與布爾代數(shù)10.3 布爾代數(shù)的另一理論體系10.4 布爾表達(dá)式與布爾函數(shù)習(xí)題四學(xué)習(xí)提要四第五篇離散數(shù)學(xué)在計(jì)算機(jī)科學(xué)技術(shù)中的應(yīng)用第十一章 用計(jì)算機(jī)化簡(jiǎn)邏輯函數(shù)11.1 自動(dòng)化簡(jiǎn)邏輯函數(shù)的算法11.2 用對(duì)合法尋找邏輯函數(shù)基本項(xiàng)11.3 用覆蓋法尋找必需項(xiàng)11.4 用（準(zhǔn)）必需項(xiàng)選拔選取基本項(xiàng)11.5 邏輯函數(shù)化簡(jiǎn)實(shí)例第十二章 形式語(yǔ)言與自動(dòng)機(jī)12.1 語(yǔ)言的概念及運(yùn)算12.2 文法及語(yǔ)言12.3 有限自動(dòng)機(jī)12.4 下推自動(dòng)機(jī)12.5 線性有界自動(dòng)機(jī)12.6 圖靈機(jī)習(xí)題五學(xué)習(xí)提要五習(xí)題答案與提示符號(hào)表參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無(wú)

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

---

    離散數(shù)學(xué)及應(yīng)用 PDF格式下載

---