百科名片：
/譯者：王元元出版社：機械工業出版社
ISBN：9787111129394 [十位:7111129393]
頁數：316 重約：0.468KG
定價：￥28.00
內容提要：
本書是按照教育部離散數學教學大綱,參考ACM & IEEE CC2001和CCC2002(中國計算機科學與技術學科教程)的教改要求編寫的。本書涵蓋了經典的“離散結構”或“離散數學”課程的主要內容,包括集合論基礎、邏輯代數、形式系統與形式推理、組合論基礎、圖論基礎、關係與函式、計算理論基礎和抽象代數學基礎。具有內容系統全面、闡述淺顯易懂、編排合理新穎、使用靈活方便的特點。本書可用作高等院校計算機科學與技術專業及計算機軟體學院本科生、專科生的離散數學課程的教材,以及畢業生考研複習用書;也可作為計算機... [顯示全部]
圖書目錄：
編者的話
前言
第一章 集合代數
1.1 集合的概念與表示
1.2 集合的運算
1.3 集合的歸納定義
1.4 練習
第二章 兩上常用數學基本原理
2.1 歸納原理
2.2 鴿籠原理
2.3 練習
第三章 邏輯代數上命題演算
3.1 命題與邏輯聯結詞
3.2 邏輯等價式和邏輯蘊涵式
3.3 範式
3.4 練習
第四章 邏輯代數下謂詞演算
4.1 謂詞演算基本概念
4.2 謂詞演算永真式
4.3 謂詞公式的前束範式
4.4 練習... [顯示全部]
編輯推薦與評論：
高等院校計算機專業教育改革推薦教材·基礎知識模組。
