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

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

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

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

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

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

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

關系的運算|復合關系，復合關系的性質

逆關系，逆關系的性質，關系復合與逆混合運算的性質關系的閉包關系的閉包定義，求法，閉包性質

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

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

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

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

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

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