《離散數學（修訂版）》是2011年天津大學出版社出版的圖書。該書內容通俗易懂，例題豐富，各節均配有大量的習題，本書是按計算機及相關專業的大學本科的要求而編寫的教材，也可以為相關專業、高職、高專離散數學教學使用或教學參考書。
基本介紹
- 中文名：離散數學（修訂版）
- 作者：田文成、周祿新
- 出版社：天津大學出版社
- ISBN：9787561814994
內容簡介,圖書目錄,
內容簡介
本書共分四篇。第一篇為數理邏輯，介紹命題邏輯和謂詞邏輯的基本概念和運算。第二篇為集合論。介紹集合的概念和運算、二元關係和函式等。第三篇為代數系統，介紹二元運算的基本性質以及半群、獨異點、群、格、布爾代數、環和域等。第四篇為圖論，介紹圖的基本概念以及歐拉圖、漢密爾頓圖、平面圖、樹和它們的有關套用。本書內容通俗易懂，例題豐富，各節均配有大量的習題，本書是按計算機及相關專業的大學本科的要求而編寫的教材，也可以為相關專業、高職、高專離散數學教學使用或教學參考書。
圖書目錄
第一篇 數理邏輯
第1章 命題邏輯
1.1 命題及其表示法和聯結詞
1.2 命題公式與翻譯
1.3 真值表與等價式
1.4 公式的恆真與蘊含
1.5 形式演繹
1.6 範式與主範式
第2章 一階邏輯
2.1 一階邏輯的概念與表示
2.2 一階邏輯公式與翻譯
2.3 等價式與前束範式
2.4 一價邏輯推理理論
第二篇 集合論
