圖書簡介
本書是計算機科學核心課程——離散數學的基本教材。全書共分五篇。前四篇分別介紹了數理邏輯，集合論，代數結構和圖論四個專題。第五篇為應用部分，主要介紹形式語言與自動機以及糾錯碼初步。內容敘述嚴謹，推演詳盡，大部分概念都用實例說明并配有相當數量的習題。
本書可作為理工科院校計算機專業的離散數學教材，也可作為自動控制、電子工程、管理科學等有關專業的教學用書，并可供計算機科研工作者及有關工程技術人員參考。
目錄
第-篇 數理邏輯
第-章 命題邏輯
1-1 命題及其表示法
1-2 聯結詞
1-3 命題公式與翻譯
1-4 真值表與等價公式
1-5 重言式與蘊含式
1-6 其他聯結詞
1-7 對偶與范式
1-8 推理理論
1-9 應用
第二章 謂詞邏輯
2-1 謂詞的概念與表示
2-2 命題函數與量詞
2-3 謂詞公式與翻譯
2-4 變元的約束
2-5 謂詞演算的等價式與蘊含式
2-6 前束范式
2-7 謂詞演算的推理理論
第二篇 集合論
第三章 集合與關系
3-1 集合的概念和表示法
3-2 集合的運算
3-3 包含排斥原理
3-4 序偶與笛卡爾積
3-5 關系及其表示
3-6 關系的性質
3-7 復合關系和逆關系
3-8 關系的閉包運算
3-9 集合的劃分和覆蓋
3-10 等價關系與等價類
3-11 相容關系
3-12 序關系
第四章 函數
4-1 函數的概念
4-2 逆函數和復合函數
4-3 特征函數與模糊子集
4-4 基數的概念
4-5 可數集與不可數集
4-6 基數的比較
第三篇 代數系統
第五章 代數結構
5-1 代數系統的引入
5-2 運算及其性質
5-3 半群
5-4 群與子群
5-5 阿貝爾群和循環群
5-6 置換群與伯恩賽德定理
5-7 陪集與拉格朗日定理
5-8 同態與同構
5-9 環與域
第六章 格和布爾代數
6-1 格的概念
6-2 分配格
6-3 有補格
6-4 布爾代數
6-5 布爾表達式
第四篇 圖論
第七章 圖論
7-1 圖的基本概念
7-2 路與回路
7-3 圖的矩陣表示
7-4 歐拉圖與漢密爾頓圖
7-5 平面圖
7-6 對偶圖與著色
7-7 樹與生成樹
7-8 根樹及其應用
第五篇 計算機科學中的應用
第八章 形式語言與自動機
8-1 串和語言
8-2 形式文法
8-3 有限狀態自動機
8-4 兩類自動機的轉換
8-5 有限狀態機的簡化
8-6 有限狀態機與正則語言
第九章 糾錯碼初步
9-1 通訊模型和糾錯的基本概念
9-2 線性分組碼的糾錯能力
9-3 海明碼
9-4 查表譯碼法
符號表
附錄 名詞索引
參考文獻
同類熱銷圖書
| 書名 | 作者 | 出版社 | 價格 | 購買 |
| 算法導論(原書第2版)（決戰大數據時代！IT技術人員不得不.. | （美）科曼.. | 機械工業出版社 | ￥85.00￥61.70 |
詳情 |
| C程序設計語言 第2版·新版 | （美）克尼.. | 機械工業出版社 | ￥30.00￥22.50 |
詳情 |
| 數字圖像處理（MATLAB版）——國外電子與通信教材系列 | （美）岡薩.. | 電子工業出版社 | ￥50.00￥37.50 |
詳情 |
| 軟件測試（原書第2版） | （美）佩騰.. | 機械工業出版社 | ￥30.00￥21.80 |
詳情 |
| 信號完整性分析——國外電子與通信教材系列 | (美)伯格丁.. | 電子工業出版社 | ￥39.00￥29.20 |
詳情 |
| 模擬CMOS集成電路設計 | （美）拉扎.. | 西安交通大學出版.. | ￥65.00￥52.00 |
詳情 |
| MATLAB遺傳算法工具箱及應用 | 雷英杰 等.. | 西安電子科技大學.. | ￥26.00￥20.80 |
詳情 |
| 數字信號處理——理論、算法與實現（附光盤） | 胡廣書 | 清華大學出版社 | ￥49.80￥39.80 |
詳情 |
| 離散時間信號處理（第2版） | （美）奧本.. | 西安交通大學出版.. | ￥78.00￥62.40 |
詳情 |
| 機器人學導論（原書第3版） | （美）克來.. | 機械工業出版社 | ￥42.00￥33.60 |
詳情 |
| 模擬CMOS集成電路設計 | 清華大學出版社 | ￥68.00￥54.40 |
詳情 | |
| 物理學史（第2版） | 郭奕玲，沈.. | 清華大學出版社 | ￥39.80￥30.20 |
詳情 |
| ArcGIS地理信息系統空間分析實驗教程（附光盤） | 湯國安，楊.. | 科學出版社 | ￥59.00￥42.90 |
詳情 |
| 直接發生——空間訓練基礎 | 中國建筑工業出版.. | ￥39.00￥31.20 |
詳情 | |
| 數據結構（C語言版）——計算機科學叢書 | （美）霍羅.. | 機械工業出版社 | ￥48.00￥34.90 |
詳情 |
| C程序設計 第三版——新世紀計算機基礎教育叢書 | 清華大學出版社 | ￥26.00￥20.50 |
詳情 | |
| 三級偏軟考試教程（第二版）——面向21世紀高校教材 | 東南大學出版社 | ￥36.00￥26.10 |
詳情 | |
| 信號與系統(第2版) | 劉樹棠 譯 | 西安交通大學出版.. | ￥58.00￥47.10 |
詳情 |
| 無線通信原理與應用（第二版）——國外電子與通信教材系列 | （美）拉帕.. | 電子工業出版社 | ￥49.00￥36.70 |
詳情 |
| 無線通信原理與應用（第二版） | Theodore S.. | 電子工業出版社 | ￥65.00￥48.70 |
詳情 |
| 信號與系統(第三版 上冊)同步輔導及習題全解 (九章叢書)(.. | 孫雨雷 主.. | 水利水電出版社 | ￥22.80￥17.10 |
詳情 |
| 現代交換原理與通信網技術 | 卞佳麗 等.. | 北京郵電大學出版.. | ￥36.00￥26.90 |
詳情 |
| 微分幾何入門與廣義相對論（上冊·第二版） | 梁燦彬，周.. | 科學出版社 | ￥59.00￥47.20 |
詳情 |
| C程序設計題解與上機指導(第3版)/新世紀計算機基礎教育叢.. | 譚浩強 編.. | 清華大學出版社 | ￥21.00￥17.40 |
詳情 |
| 先進陶瓷工藝學 | 劉維良 主.. | 武漢理工大學出版.. | ￥58.00￥43.50 |
詳情 |
