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

　　編者　2013年8月