《離散數(shù)學(xué)》是計算機科學(xué)中基礎(chǔ)理論的核心課程,也是軟件工程專業(yè)和計算機專業(yè)的許多專業(yè)課程,如《數(shù)據(jù)結(jié)構(gòu)與算法》、《JAVA語言程序設(shè)計》、《操作系統(tǒng)原理與實踐》、《數(shù)據(jù)庫系統(tǒng)原理與實踐》等必不可少的先行課程。作為現(xiàn)代數(shù)學(xué)的一個重要分支,離散數(shù)學(xué)研究離散量的結(jié)構(gòu)及其相互關(guān)系。通過本課程的學(xué)習(xí),使學(xué)生對數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)和圖論這四個領(lǐng)域的基本概念和術(shù)語、基本定理及初步的運算證明方法和技巧有較好的理解和掌握,掌握離散結(jié)構(gòu)的描述工具和處理方法,對離散數(shù)學(xué)與計算機科學(xué)之間的關(guān)系有初步了解,為后續(xù)相關(guān)課程的學(xué)習(xí)奠定良好的數(shù)學(xué)基礎(chǔ)。通過本課程的訓(xùn)練,提高學(xué)生抽象思維和嚴(yán)格的邏輯推理能力,為將來參與創(chuàng)新性的研究和開發(fā)工作打下堅實的基礎(chǔ)。