離散數學及其套用(2020年機械工業出版社出版的圖書)

內容簡介

　　本書是經典的離散數學教材，被全球數百所大學廣為採用。本科教學版縮減了篇幅，保留的主要內容包括：邏輯和證明，集合、函式、序列、求和與矩陣，計數，關係，圖，樹，布爾代數。

　　取材廣泛，除包括定義、定理的嚴格陳述外，還配備大量的例題、圖表、套用實例和練習。第8版做了與時俱進的更新，成為更加實用的教學工具。

　　可作為高等院校數學、計算機科學和計算機工程等專業的教材，也可作為科技領域從業人員的參考書。

　　是介紹離散數學理論和方法的經典教材，被全球數百所高校採用，獲得了極大的成功。第8版做了與時俱進的修改，同時更新了配套教輔資源，成為更加實用的教學工具。本科教學版縮減了篇幅，適用於數學、計算機科學、計算機工程、信息技術等專業的學生。

　　本書特色：

　　章節：保留了邏輯和證明、基本結構、計數和高級計數、關係、圖、數和布爾代數等內容，刪除了算法、數論和密碼學、歸納與遞歸、離散機率、計算模型等內容。

　　例題：共400多道例題，用於闡明概念、建立不同主題之間的關聯以及介紹實際套用。

　　套用：涉及的領域包括計算機科學、數據網路、心理學、化學、工程學、語言學、生物學、商業和網際網路等，展示了離散數學的實用性。

　　算法：每一章都介紹了一些關鍵算法，提供偽代碼，並簡要分析其計算複雜度。

　　練習、複習題和補充練習：共有2000多道難度各異的練習題，可以滿足不同層次學生的需求。此外，還有一些研究性題目，幫助學生通過計算來探索新知識和新想法。

出版者的話

改編者序

譯者序

前言

線上資源

致學生

作者簡介

符號表

第1章基礎：邏輯和證明

1．1 命題邏輯

1．1．1 引言

1．1．2 命題

1．1．3 條件語句

1．1．4 複合命題的真值表

1．1．5 邏輯運算符的優先權

1．1．6 邏輯運算和比特運算

奇數編號練習

1．2 命題邏輯的套用

1．2．1 引言

1．2．2 語句翻譯

1．2．3 系統規範說明

1．2．4 布爾搜尋

1．2．5 邏輯謎題

1．2．6 邏輯電路

奇數編號練習

1．3 命題等價式

1．3．1 引言

1．3．2 邏輯等價式

1．3．3 德·摩根律的運用

1．3．4 構造新的邏輯等價式