離散數學全程導學及習題全解
作 者：於晶晶，張愛琴，彭程
出 版 社：中國時代經濟出版社
出版時間：2007-2-1
版 次：1
頁 數：276
字 數：250000
印刷時間：2007-2-1
紙 張：膠版紙
I S B N：9787802212466
包 裝：平裝
內容簡介
本書是與上海科學技術文獻出版社1982版《離散數學》教材相配套的輔助教材，內容按照教材章節順序進行編寫。本書分為九章，內容包括命題邏輯、謂詞邏輯、集合與關係、函式、代數結構、格與布爾代數、圖論、形式語言與自動機、糾錯碼初步。每章節包括：本章知識要點、典型例題分析與講解、習題全解三部分。本章知識要點部分集中了離散數學的基本概念和定理；典型例題分析與講解部分對常見典型題目的解題思路進行了分析；習題全解部分對教材中各對應習題做了詳細的參考解答。
本書可作為高等院校離散數學課程的教學參考書，也可作為計算機軟體水平考試和計算機等級考試用書，以及考研者應試複習。
目錄
第一章 命題邏輯
Ⅰ 本章知識要點
Ⅱ 典型例題分析與講解
Ⅲ 習題全解
第二章 謂詞邏輯
Ⅰ 本章知識要點
Ⅱ 典型例題分析與講解
Ⅲ 習題全解
第三章 集合與關係
Ⅰ 本章知識要點
Ⅱ 典型例題分析與講解
Ⅲ 習題全解
第四章 函式
Ⅰ 本章知識要點
Ⅱ 典型例題分析與講解
