內容簡介

孫道德等編著的《離散數學》共分為4篇： 數理邏輯、集合論、代數繫統、圖論。數理邏輯包括命題邏輯和謂詞邏輯； 集合論介紹了集合、關繫、函數等； 代數繫統介紹了群、環、域等；圖論部分介紹了圖的基本概念及特殊圖。本書結合基本理論和基本方法詳細介紹了這4部分在計算機中的實際應用。在編寫過程中，以數理邏輯的基本思想為主線，將離散數學各個部分有機地結合起來，力求條理清楚、深入淺出，通過該課程的學習，可使讀者掌握推薦的離散數學知識，並提高其利用離散數學知識分析和解決實際問題的能力。
《離散數學》可作為一般本科院校計算機科學技術等相關專業的本科生和研究生的教學用書，也可作為計算機科學與技術以及研究人員的參考用書。