考研網(wǎng) » 考試圖書 » 高等理工教材征訂 » 離散數(shù)學(xué) » 全部考試圖書分類

圖書簡(jiǎn)介

本書是計(jì)算機(jī)科學(xué)核心課程——離散數(shù)學(xué)的基本教材。全書共分五篇。前四篇分別介紹了數(shù)理邏輯，集合論，代數(shù)結(jié)構(gòu)和圖論四個(gè)專題。第五篇為應(yīng)用部分，主要介紹形式語(yǔ)言與自動(dòng)機(jī)以及糾錯(cuò)碼初步。內(nèi)容敘述嚴(yán)謹(jǐn)，推演詳盡，大部分概念都用實(shí)例說(shuō)明并配有相當(dāng)數(shù)量的習(xí)題。
　　本書可作為理工科院校計(jì)算機(jī)專業(yè)的離散數(shù)學(xué)教材，也可作為自動(dòng)控制、電子工程、管理科學(xué)等有關(guān)專業(yè)的教學(xué)用書，并可供計(jì)算機(jī)科研工作者及有關(guān)工程技術(shù)人員參考。
目錄
第-篇　數(shù)理邏輯
　第-章　命題邏輯
　　1-1　命題及其表示法
　　1-2　聯(lián)結(jié)詞
　　1-3　命題公式與翻譯
　　1-4　真值表與等價(jià)公式
　　1-5　重言式與蘊(yùn)含式
　　1-6　其他聯(lián)結(jié)詞
　　1-7　對(duì)偶與范式
　　1-8　推理理論
　　1-9　應(yīng)用
　第二章　謂詞邏輯
　　2-1　謂詞的概念與表示
　　2-2　命題函數(shù)與量詞
　　2-3　謂詞公式與翻譯
　　2-4　變?cè)�的約束
　　2-5　謂詞演算的等價(jià)式與蘊(yùn)含式
　　2-6　前束范式
　　2-7　謂詞演算的推理理論
第二篇　集合論
　第三章　集合與關(guān)系
　　3-1　集合的概念和表示法
　　3-2　集合的運(yùn)算
　　3-3　包含排斥原理
　　3-4　序偶與笛卡爾積
　　3-5　關(guān)系及其表示
　　3-6　關(guān)系的性質(zhì)
　　3-7　復(fù)合關(guān)系和逆關(guān)系
　　3-8　關(guān)系的閉包運(yùn)算
　　3-9　集合的劃分和覆蓋
　　3-10　等價(jià)關(guān)系與等價(jià)類
　　3-11　相容關(guān)系
　　3-12　序關(guān)系
　第四章　函數(shù)
　　4-1　函數(shù)的概念
　　4-2　逆函數(shù)和復(fù)合函數(shù)
　　4-3　特征函數(shù)與模糊子集
　　4-4　基數(shù)的概念
　　4-5　可數(shù)集與不可數(shù)集
　　4-6　基數(shù)的比較
第三篇　代數(shù)系統(tǒng)
　第五章　代數(shù)結(jié)構(gòu)
　　5-1　代數(shù)系統(tǒng)的引入
　　5-2　運(yùn)算及其性質(zhì)
　　5-3　半群
　　5-4　群與子群
　　5-5　阿貝爾群和循環(huán)群
　　5-6　置換群與伯恩賽德定理
　　5-7　陪集與拉格朗日定理
　　5-8　同態(tài)與同構(gòu)
　　5-9　環(huán)與域
　第六章　格和布爾代數(shù)
　　6-1　格的概念
　　6-2　分配格
　　6-3　有補(bǔ)格
　　6-4　布爾代數(shù)
　　6-5　布爾表達(dá)式
第四篇　圖論
　第七章　圖論
　　7-1　圖的基本概念
　　7-2　路與回路
　　7-3　圖的矩陣表示
　　7-4　歐拉圖與漢密爾頓圖
　　7-5　平面圖
　　7-6　對(duì)偶圖與著色
　　7-7　樹與生成樹
　　7-8　根樹及其應(yīng)用
第五篇　計(jì)算機(jī)科學(xué)中的應(yīng)用
　第八章　形式語(yǔ)言與自動(dòng)機(jī)
　　8-1　串和語(yǔ)言
　　8-2　形式文法
　　8-3　有限狀態(tài)自動(dòng)機(jī)
　　8-4　兩類自動(dòng)機(jī)的轉(zhuǎn)換
　　8-5　有限狀態(tài)機(jī)的簡(jiǎn)化
　　8-6　有限狀態(tài)機(jī)與正則語(yǔ)言
　第九章　糾錯(cuò)碼初步
　　9-1　通訊模型和糾錯(cuò)的基本概念
　　9-2　線性分組碼的糾錯(cuò)能力
　　9-3　海明碼
　　9-4　查表譯碼法
符號(hào)表
附錄　名詞索引
參考文獻(xiàn)

同類熱銷圖書

書名	作者	出版社	價(jià)格	購(gòu)買
算法導(dǎo)論(原書第2版)（決戰(zhàn)大數(shù)據(jù)時(shí)代！IT技術(shù)人員不得不..	（美）科曼..	機(jī)械工業(yè)出版社	￥85.00 ￥61.70	詳情
C程序設(shè)計(jì)語(yǔ)言 第2版·新版	（美）克尼..	機(jī)械工業(yè)出版社	￥30.00 ￥22.50	詳情
數(shù)字圖像處理（MATLAB版）——國(guó)外電子與通信教材系列	（美）岡薩..	電子工業(yè)出版社	￥50.00 ￥37.50	詳情
軟件測(cè)試（原書第2版）	（美）佩騰..	機(jī)械工業(yè)出版社	￥30.00 ￥21.80	詳情
信號(hào)完整性分析——國(guó)外電子與通信教材系列	(美)伯格丁..	電子工業(yè)出版社	￥39.00 ￥29.20	詳情
模擬CMOS集成電路設(shè)計(jì)	（美）拉扎..	西安交通大學(xué)出版..	￥65.00 ￥52.00	詳情
MATLAB遺傳算法工具箱及應(yīng)用	雷英杰 等..	西安電子科技大學(xué)..	￥26.00 ￥20.80	詳情
數(shù)字信號(hào)處理——理論、算法與實(shí)現(xiàn)（附光盤）	胡廣書	清華大學(xué)出版社	￥49.80 ￥39.80	詳情
離散時(shí)間信號(hào)處理（第2版）	（美）奧本..	西安交通大學(xué)出版..	￥78.00 ￥62.40	詳情
機(jī)器人學(xué)導(dǎo)論（原書第3版）	（美）克來(lái)..	機(jī)械工業(yè)出版社	￥42.00 ￥33.60	詳情
模擬CMOS集成電路設(shè)計(jì)		清華大學(xué)出版社	￥68.00 ￥54.40	詳情
物理學(xué)史（第2版）	郭奕玲，沈..	清華大學(xué)出版社	￥39.80 ￥30.20	詳情
ArcGIS地理信息系統(tǒng)空間分析實(shí)驗(yàn)教程（附光盤）	湯國(guó)安，楊..	科學(xué)出版社	￥59.00 ￥42.90	詳情
直接發(fā)生——空間訓(xùn)練基礎(chǔ)		中國(guó)建筑工業(yè)出版..	￥39.00 ￥31.20	詳情
數(shù)據(jù)結(jié)構(gòu)（C語(yǔ)言版）——計(jì)算機(jī)科學(xué)叢書	（美）霍羅..	機(jī)械工業(yè)出版社	￥48.00 ￥34.90	詳情
C程序設(shè)計(jì) 第三版——新世紀(jì)計(jì)算機(jī)基礎(chǔ)教育叢書		清華大學(xué)出版社	￥26.00 ￥20.50	詳情
三級(jí)偏軟考試教程（第二版）——面向21世紀(jì)高校教材		東南大學(xué)出版社	￥36.00 ￥26.10	詳情
信號(hào)與系統(tǒng)(第2版)	劉樹棠 譯	西安交通大學(xué)出版..	￥58.00 ￥47.10	詳情
無(wú)線通信原理與應(yīng)用（第二版）——國(guó)外電子與通信教材系列	（美）拉帕..	電子工業(yè)出版社	￥49.00 ￥36.70	詳情
無(wú)線通信原理與應(yīng)用（第二版）	Theodore S..	電子工業(yè)出版社	￥65.00 ￥48.70	詳情
信號(hào)與系統(tǒng)(第三版 上冊(cè))同步輔導(dǎo)及習(xí)題全解 (九章叢書)(..	孫雨雷　主..	水利水電出版社	￥22.80 ￥17.10	詳情
現(xiàn)代交換原理與通信網(wǎng)技術(shù)	卞佳麗 等..	北京郵電大學(xué)出版..	￥36.00 ￥26.90	詳情
微分幾何入門與廣義相對(duì)論（上冊(cè)·第二版）	梁燦彬，周..	科學(xué)出版社	￥59.00 ￥47.20	詳情
C程序設(shè)計(jì)題解與上機(jī)指導(dǎo)(第3版)/新世紀(jì)計(jì)算機(jī)基礎(chǔ)教育叢..	譚浩強(qiáng) 編..	清華大學(xué)出版社	￥21.00 ￥17.40	詳情
先進(jìn)陶瓷工藝學(xué)	劉維良　主..	武漢理工大學(xué)出版..	￥58.00 ￥43.50	詳情