《離散數(shù)學(xué)》教學(xué)大綱(本科)

1、工科《離散數(shù)學(xué)》課程教學(xué)大綱一、《離散數(shù)學(xué)》課程說明（一）課程代碼：（一）課程代碼：08138010（二）課程英文名稱：（二）課程英文名稱：DiscreteMathematics（三）開課對象：（三）開課對象：計算機科學(xué)與技術(shù)專業(yè)本科生（四）課程性質(zhì)：（四）課程性質(zhì)：離散數(shù)學(xué)是數(shù)學(xué)學(xué)科的一門專業(yè)教育課。本課程的目的是傳授給學(xué)生數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)與布爾代數(shù)等方面的知識。預(yù)修課程為：高等代數(shù)。（五）教學(xué)目的：（五）教學(xué)目的：使學(xué)生系

2、統(tǒng)學(xué)習(xí)并掌握數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)與布爾代數(shù)等方面的知識，培養(yǎng)學(xué)生的抽象思維和慎密概括的能力。（六）教學(xué)內(nèi)容：（六）教學(xué)內(nèi)容：命題邏輯、謂詞邏輯、集合與關(guān)系、函數(shù)、代數(shù)結(jié)構(gòu)、格與布爾代數(shù)等（七）學(xué)時數(shù)、學(xué)分數(shù)及學(xué)時具體分配（七）學(xué)時數(shù)、學(xué)分數(shù)及學(xué)時具體分配學(xué)時數(shù)：54學(xué)時學(xué)分數(shù)：3學(xué)分學(xué)時數(shù)具體分配:教學(xué)內(nèi)容講授實驗實踐合計第一章命題邏輯99第二章謂詞邏輯77第三章集合與關(guān)系1313第四章函數(shù)55第五章代數(shù)結(jié)構(gòu)1313第六章格與布爾

3、代數(shù)等77合計5454（八）教學(xué)方式：（八）教學(xué)方式：以教師講解為主的課堂教學(xué)方式(九）考核方式和成績記載說明九）考核方式和成績記載說明考核方式為考試。嚴格考核學(xué)生出勤情況，達到學(xué)記管理的曠課量取消考試資格。綜合成績根據(jù)平時成績和期末成績評定，平時成績占40％，期末成績占60％。二講授大綱與各章的基本要求第一章命題邏輯教學(xué)要點：教學(xué)要點：要求學(xué)生理解命題、命題公式、真值表等基本概念，掌握重言式與蘊含式、對偶與范式的定義，熟練掌握命題邏輯

4、的推理理論。教學(xué)時數(shù)教學(xué)時數(shù)：9課時教學(xué)內(nèi)容：教學(xué)內(nèi)容：11命題及其表示法12聯(lián)結(jié)詞13命題公式與翻譯14真值表與等價式331集合的概念及表示法32集合的運算34序偶與笛卡爾積35關(guān)系及其表示36關(guān)系的性質(zhì)37復(fù)合關(guān)系和逆關(guān)系38關(guān)系的閉包運算39集合的劃分和覆蓋310等價關(guān)系與等價類311相容關(guān)系312序關(guān)系考核要求：考核要求：31集合的概念及表示法(識記)32集合的運算(識記)34序偶與笛卡爾積(領(lǐng)會)35關(guān)系及其表示(領(lǐng)會與應(yīng)用)

5、36關(guān)系的性質(zhì)(領(lǐng)會與應(yīng)用)37復(fù)合關(guān)系和逆關(guān)系(領(lǐng)會與應(yīng)用)38關(guān)系的閉包運算(應(yīng)用)39集合的劃分和覆蓋(領(lǐng)會)310等價關(guān)系與等價類(領(lǐng)會與應(yīng)用)311相容關(guān)系(領(lǐng)會與應(yīng)用)312序關(guān)系(領(lǐng)會與應(yīng)用)第四章函數(shù)教學(xué)要點：教學(xué)要點：要求學(xué)生理解函數(shù)的概念，逆函數(shù)和復(fù)合函數(shù)的定義，掌握基數(shù)的概念，了解可數(shù)集與不可數(shù)集的概念及基數(shù)的比較。教學(xué)時數(shù)：教學(xué)時數(shù)：5課時教學(xué)內(nèi)容：教學(xué)內(nèi)容：41函數(shù)的概念42逆函數(shù)與復(fù)合函數(shù)43基數(shù)的概念44可