前言

離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的重要分支，是計(jì)算機(jī)相關(guān)學(xué)科的基礎(chǔ)理論課之一。它為計(jì)算機(jī)相關(guān)專業(yè)的后續(xù)課程（如數(shù)字邏輯、程序設(shè)計(jì)、編譯原理、數(shù)據(jù)庫(kù)系統(tǒng)、人工智能等）的學(xué)習(xí)奠定基礎(chǔ)。因此，離散數(shù)學(xué)是計(jì)算機(jī)科學(xué)與技術(shù)、網(wǎng)絡(luò)工程及信息管理與信息系統(tǒng)專業(yè)本科生的必修專業(yè)基礎(chǔ)課之一。

通過(guò)離散數(shù)學(xué)課程的學(xué)習(xí)，學(xué)生能夠得到嚴(yán)格的邏輯推理與抽象思維能力的訓(xùn)練，能夠掌握數(shù)理邏輯、集合論、圖論等知識(shí)，并運(yùn)用其理論、思想和方法來(lái)學(xué)習(xí)和研究計(jì)算機(jī)各學(xué)科，為深入學(xué)習(xí)計(jì)算機(jī)科學(xué)打下堅(jiān)實(shí)的基礎(chǔ)。離散數(shù)學(xué)的先行課是數(shù)學(xué)的一些基礎(chǔ)學(xué)科，如高等數(shù)學(xué)和線性代數(shù)等。同時(shí)，離散數(shù)學(xué)是學(xué)習(xí)計(jì)算機(jī)科學(xué)中某些學(xué)科的先行課程，即它是學(xué)習(xí)數(shù)字邏輯、程序設(shè)計(jì)、數(shù)據(jù)結(jié)構(gòu)、編譯方法、形式語(yǔ)言等學(xué)科的基礎(chǔ)。

本書內(nèi)容除第一章緒論外分為三部分：數(shù)理邏輯（第2章，第3章）、集合論（第4章，第5章）和圖論（第6章）。由于離散數(shù)學(xué)具有知識(shí)不連續(xù)的特點(diǎn)，因此在教學(xué)時(shí)可以選擇性地安排教學(xué)順序。

本書由鄒麗娜、丁茜、羅旭任主編，由劉哲、劉冰、周穎任副主編。

由于編者水平有限，經(jīng)驗(yàn)不夠豐富，書中難免存在不足之處，敬請(qǐng)廣大讀者批評(píng)指正。

編者

2015年11月