離散數學第三版

《離散數學第三版》是2004年清華大學出版社出版的圖書，作者是張立昂、屈婉玲、耿素雲。本書可以作為計算機及相關專業本科生的教材,也可以作為計算機軟體專業水平考試的參考書,同時還可以供從事計算機軟體、硬體研究開發和套用的人員使用,另有配套教材《離散數學題解》。

內容提要

本書包括以下6個方面的內容:(1)數理邏輯;(2)集合論;(3)代數結構;(4)圖論;(5)組合分析初步;(6)形式語言與自動機初步。

書中概念論述清楚,講解詳實,通俗易懂,並且著重於概念的套用,而不著重於定理的證明,每章後均附有習題,建議學時60-80。

本書獲得2001年北京市教育教學成果(高等學... [顯示全部]

圖書目錄：

第1章 命題邏輯

1.1 命題符號化及聯結詞

1.2 命題公式及分類

1.3 等值演算

1.4 聯結詞全功能集

1.5 對偶與範式

1.6 推理理論

1.7 題例分析

習題

第2章 一階邏輯

2.1 一階邏輯基本概念

2.2 一階邏輯合式公式及解釋

2.3 一階邏輯等值式

2.4 一階邏輯推理理論

2.5 題例分析

習題

第3章 集合的基本概念和運算

3.1 集合的基本概念

3.2 集合的基本運算

3.3 集合中元素的計數

3.4 題例分析

習題

第4章 二元關係和函式

4.1 集合的笛卡兒積與... [顯示全部]