離散數(shù)學是現(xiàn)代數(shù)學的重要分支，也是計算機科學的重要理論基礎。離散數(shù)學作為應用計算機求解實際問題的重要工具，在離散建模中具有重要的意義。隨著計算機技術的日益普及，越來越多的行業(yè)開始采用計算機解決實際問題，學習和掌握離散建模的重要性日益凸顯。學好離散數(shù)學，不僅能為計算機相關專業(yè)的學生后續(xù)課程的學習打下堅實的基礎，也能培養(yǎng)學生的邏輯推理和抽象思維能力，為學生今后從事相關專業(yè)的學習和工作打下堅實的數(shù)學基礎。
離散數(shù)學的主要研究對象是計算機相關學科中離散量的結(jié)構(gòu)及其相互關系。本書主要包括數(shù)理邏輯、集合與函數(shù)、代數(shù)系統(tǒng)及布爾代數(shù)、圖論等主要內(nèi)容，內(nèi)容涵蓋計算機科學技術中常用的離散結(jié)構(gòu)的數(shù)學基礎。本書在注重離散數(shù)學體系的基礎上，強化證明思想和方法的介紹，在講解基本內(nèi)容及基本概念的時候盡可能結(jié)合實例，重視理論和方法的實用性。本書除在每章中增加了一些實例的講解和習題之外，還專門在第8章討論了數(shù)理邏輯、集合論、代數(shù)系統(tǒng)以及圖論在計算機科學中的應用。
　　本書系統(tǒng)地介紹了計算機科學與技術等相關專業(yè)所必需的離散數(shù)學知識。全書共8章，第1章介紹命題及命題邏輯，第2章介紹謂詞邏輯及其推理理論，第3章介紹集合與關系的基本概念和性質(zhì)，第4章介紹函數(shù)，第5章介紹代數(shù)系統(tǒng)，第6章介紹格與布爾代數(shù)，第7章介紹圖論的基本概念及其性質(zhì)，第8章介紹離散數(shù)學在計算機科學中的一些具體應用。
　　本書適合作為高等學校計算機專業(yè)及相關專業(yè)的本科生教材，也可以供對離散數(shù)學有興趣的讀者自學。
　　限于作者水平，書中不當之處在所難免，懇請讀者批評指正。

　　編者　2013年8月