《離散數(shù)學(xué)》課程是計算機(jī)相關(guān)專業(yè)的一門重要的專業(yè)基礎(chǔ)課。本課程討論在計算機(jī)科學(xué)研究中所用到的數(shù)學(xué)，理論體系嚴(yán)密,邏輯性強，實用性強。它是操作系統(tǒng)、數(shù)據(jù)結(jié)構(gòu)、高級語言程序設(shè)計、數(shù)據(jù)庫等計算機(jī)專業(yè)課程的先導(dǎo)課程，具有非常重要的意義。    《離散數(shù)學(xué)》中主要包括數(shù)理邏輯、集合論、組合數(shù)學(xué)、代數(shù)結(jié)構(gòu)和圖論。主要包括：邏輯演算(包括命題演算和謂詞演算)、集合論、二元關(guān)系、函數(shù)、代數(shù)系統(tǒng)、格與布爾代數(shù)、排列組合、以及圖論的一些基本知識。

離散數(shù)學(xué)的學(xué)習(xí)，為其后續(xù)課程（如數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、計算機(jī)網(wǎng)絡(luò)、編譯理論、數(shù)字邏輯理論、數(shù)據(jù)庫系統(tǒng)、算法分析、系統(tǒng)結(jié)構(gòu)、人工智能等）的學(xué)習(xí)打下堅實的理論基礎(chǔ)。 這門課程的理論性較強，知識點比較多，但均“有跡可循，有法可依”，因而完成這門課程的學(xué)習(xí)并非很難。我們通過對課程內(nèi)容的合理安排（“營養(yǎng)均衡”），每一講的精心調(diào)配（“正餐”），課后習(xí)題的專業(yè)配套（“甜點”），為在線學(xué)習(xí)用戶提供了學(xué)習(xí)離散數(shù)學(xué)課程的一種新形式。

強調(diào)離散數(shù)學(xué)課程在計算機(jī)科學(xué)與技術(shù)專業(yè)課程體系中的基礎(chǔ)地位和核心作用

根據(jù)《專業(yè)規(guī)范》中關(guān)于離散數(shù)學(xué)課程的總體要求，圍繞核心知識體系，面向培養(yǎng)科學(xué)型、工程型和應(yīng)用型的不同計算機(jī)人才定位，構(gòu)建不同的知識框架針對不同學(xué)校的專業(yè)特色和培養(yǎng)目標(biāo)，設(shè)計可靈活配置的知識單元，同時給出授課建議和學(xué)習(xí)要求將知識傳授、能力培養(yǎng)和素質(zhì)教育融為一體，貫穿于教學(xué)設(shè)計的各個環(huán)節(jié)

集合基本概念集合的概念，集合表示，集合的包含與相等集合的交、并、補、差、對稱差（環(huán)和）運算、廣義交、并運算集合的運算

集合運算的性質(zhì)（運算律）冪集冪集的定義與計算，冪集元素的編碼表示，冪集運算的性質(zhì)序偶與笛卡兒積序偶、n元序組、笛卡兒積

二元關(guān)系的概念二元關(guān)系的定義，二元關(guān)系的表示二元關(guān)系的性質(zhì)性質(zhì)（自反、反自反、對稱、反對稱、傳遞、反傳遞）判斷法：序偶，關(guān)系圖，關(guān)系矩陣

關(guān)系的運算|復(fù)合關(guān)系，復(fù)合關(guān)系的性質(zhì)

逆關(guān)系，逆關(guān)系的性質(zhì)，關(guān)系復(fù)合與逆混合運算的性質(zhì)關(guān)系的閉包關(guān)系的閉包定義，求法，閉包性質(zhì)

等價關(guān)系等價關(guān)系的定義與判別，等價類，商集，等價關(guān)系與集合劃分的對應(yīng)相容關(guān)系相容關(guān)系定義，相容類與極大相容類，完全覆蓋，覆蓋決定相容關(guān)系序關(guān)系偏序關(guān)系的定義、哈斯圖

特殊元（最大元，最小元，極大元，極小元，上界，下界，上確界，下確界）全序關(guān)系與全序集，良序集，擬序（準(zhǔn)序）函數(shù)基本概念函數(shù)定義，單射、滿射與雙射

復(fù)合函數(shù)與復(fù)合函數(shù)的定義，性質(zhì)

逆函數(shù)逆函數(shù)的定義及存在條件，逆函數(shù)的性質(zhì)復(fù)合與逆的函數(shù)運算性質(zhì)

基數(shù)的概念基數(shù)的概念，自然數(shù)與自然數(shù)集合

可數(shù)與不可數(shù)集可數(shù)集的定義與基數(shù)，可數(shù)集的性質(zhì)，不可數(shù)集的定義與基數(shù)基數(shù)的比較 Cantor-Schroder-Bernstein定理，Cantor定理