離散數學是計算機專業的一門重要基礎課程，也是信息技術、電子工程等專業的理論基礎課。離散數學為計算機科學與技術等應用學科的研究提供了形式化方法，為實際問題的描述提供了數學模型，為問題求解在計算機上的實現提供了數學工具。因此，學好離散數學對于提高學生的學習能力、解決實際問題的能力以及學好相關專業課程都有著重要意義。
本書在第1版的基礎上進行以下改進。
（1）本書按68-72課時安排講授內容，因此刪除了第1版中作為選講的部分內容。
（2）對教材中知識點的論述進行進一步細化，特別是對概念和方法的解釋給出詳細說明，并對知識的應用給出具體的操作步驟。
（3）增加了例題，為學生提供更多的參考。調整了習題，使之更適合學生課后練習。
（4）本書內容編排和寫作風格與在線開放課程接軌，可作為在線開放課程的教材及慕課、微課的腳本。
此外，本書繼承了第1版的寫作風格，并保持了第1版的5個目標。
（1）讀者能較為輕松地理解和掌握形式化方法。本書完整、詳細地介紹命題邏輯和謂詞邏輯的基本概念、基本知識以及基于邏輯知識的形式化方法。通過學習，讀者可以領會到形式化方法的思想，學會用形式化方法描述和解決實際問題。例如，如何用命題公式和謂詞公式來表示實際問題，怎樣用形式符號來描述問題求解過程等。由于計算機的算法、數據結構、程序設計是用形式化方法描述的，所以形式化方法是用計算機求解問題的基本知識和基本技術。熟練掌握形式化方法將為后續的計算機課程打下良好的基礎。
（2）讀者能學到許多建立數學模型的思想和方法。本書介紹將自然語言描述的命題轉換為用數學符號表示的命題公式和謂詞公式的一般原則與詳細步驟，并詳細介紹謂詞公式的解釋和含義，以及用命題公式序列和謂詞公式序列表示推理的過程。這些推理是人們的思維方式的數學模型。本書還介紹集合作為各種研究對象的數學模型、關系作為對象之間相互聯系的數學模型、抽象的代數結構和代數運算作為實際問題的數學模型。其中，群可作為編碼的數學模型，圖可作為交通、運輸、通信、物流、信息傳遞等網絡的數學模型。這些模型都有廣泛的應用。
（3）讀者能掌握用于問題求解的數學知識和數學工具。本書介紹的知識，都配有應用這些知識的實例，并給出問題求解的思路和求解步驟。例如，對于構造命題邏輯中的形式證明、構造謂詞公式的解釋、求關系的傳遞閉包、代數運算律及特殊元素的性質、求圖的最短路徑等應用問題，都給出了具體、詳細的算法和求解過程。
（4）提高學生的自學能力。由于許多大學新生不注重對概念的理解和對方法的掌握，習慣于從具體的例題去把握概念，喜歡模仿例題的格式來解題。這些學習習慣導致學生在自學方面不能收到理想的效果。針對這些問題，我們在編寫本書時采取了以下措施。
①以知識點為單位展開論述，每個段落所述內容都明確列出相關的知識點，使得重點突出、難點降低。
②對概念的描述簡明扼要、直截了當，并對復雜概念的理解和把握給出應注意的事項。
③對于問題求解，給出詳細的解題方法，并配有詳解的例題。
④對于算法的描述和應用，給出明確的算法思想與詳細的操作步驟，并給出算法應用實例的具體操作過程。
⑤對于定理證明，給出思路清晰、層次分明、推理嚴謹、步驟詳細的證明過程。
⑥注意介紹離散數學的思想方法，引導學生從“重例題輕概念”“重模仿輕方法”的學習模式轉換到“以概念、方法、原理為主，以例題為輔”的學習模式上來。
（5）方便教師備課。考慮到知識的連貫性和內容的完整性，我們對書中涉及的有關概念都給予介紹，不需另外查閱其他參考書。對各章節的教學難點都給出了具體的解決方案。
本書在各章節中都貫穿著這樣一個主線索：重視概念的理解一理清解題的思路一明確解題的步驟一細化解題的過程。讀者在閱讀本書時務必要做到以下幾點。
（1）抓住書中的主線索，扎扎實實地攻克每一個知識點。
（2）掌握書中介紹的思想方法，關注解題過程中“別人是怎么想的”。
（3）領會書中介紹的解題思路，弄清解題過程中“具體是怎么做的”。
由于作者水平有限，書中難免存在不足之處，懇請讀者批評指正。
收起全部↑
新書資訊