《離散數學》教學大綱(本科)

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

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

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

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

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