課程簡介
Course Introduction
《離散數學》課程介紹
課程代碼: GE6012
課程學時: 64
學 分: 4
考核方式: 考試
授課班級: 14級軟件工程、1網絡工程、電子信息工程本科
先修課程: 無
同修課程: 無
主要教學內容:
1.命題邏輯的基本概念；2.命題邏輯等值演算；3.命題邏輯的推理理論；4.集合代數；5.二元關系；6.函數；7.圖的基本概念；8.歐拉圖與哈密頓圖；9.樹
教學目的和要求:
通過本課程的學習，使學生具有現代數學的觀點和方法，并初步掌握處理離散結構所必須的描述工具和方法。同時，也要培養學生抽象思維和慎密概括的能力，使學生具有良好的開拓專業理論的素質和使用所學知識，分析和解決實際問題的能力，為學生學習計算機基礎理論與專業課程打下良好的基礎。
考核總體方案:
考核辦法描述 | 考核時間 | 占總評成績的比重（%） | 備注 |
考勤 | 1-16周 | 10% | 缺勤一節課扣1% |
課堂表現 | 1-16周 | 10% | |
平時作業 | 1-16周 | 40% | 提交5次，每次8% |
期末考試 | 1-16周 | 40% |
主要考核項的考核內容與要求及評分標準（占總評成績10%以上的考核項）:
考勤，按每節課40分鐘計，缺勤10節課及以內，每次扣除總成績滿分的1%。
課堂表現:根據平時課堂參與情況及課堂紀律遵守情況酌情給分，得分不超過總成績滿分10%。
平時作業:全學期完成作業8~10次并抽查其中5次。根據作業提交及完成情況酌情給分，每次得分不超過總評成績滿分的8%。
期末考試:得分不超過滿分成績的40%
學習資源:
教材:離散數學(第2版)，屈婉玲等編寫，ISBN9787040419085，高等教育出版社，2008年3月
參考書:離散數學（英文版），(美)斯坦 等著，ISBN9787121118548，電子工業出版社，2010年10月
參考書: 離散數學, 陳敏，羅慶云 主編，ISBN9787811235418，北京交通大學出版社，2009年5月
參考書:離散數學及其應用，王瑞胡，羅萬成 主編清華大學出版社，ISBN:9787302341581， 2014年1月
參考書:離散數學，左孝凌 等編著，ISBN:9787805130699，上海科學技術文獻出版社 1982年9月
課程負責人:羅顯松
任課教師:羅顯松
答疑時間:每周三下午5-8節
辦公地點:行政樓1樓
電 話:86684564
E-MAIL:luoxs@neusoft.com
任課教師:李強
答疑時間:每周三下午5-8節
辦公地點:行政樓1樓辦公室
電 話:86684676
E-MAIL:li.qiang@neusoft.com
任課教師:楊斌
答疑時間:每周三下午5-8節
辦公地點:行政樓1樓辦公室
電 話:86684537
E-MAIL:bin-yang@neusoft.com
教學大綱
Teaching Syllabus
《離散數學》教學大綱
一、課程代碼:GE6012
二、學 分:4
三、先修課程:無
四、同修課程:無
五、課程簡介:
本課程主要研究離散結構及其性質，其內容和方法大量用于計算機科學與技術領域的建模及分析，對培養學生計算思維起重要作用，是計算機專業的核心課之一。本課程介紹的知識在自然科學、工程技術、社會科學和經濟管理等領域有廣泛的應用。
六、教學內容、基本要求及各章節時間分配:
教學周 | 節次 | 教學內容 | 掌握程度 | 理論學時 | 實踐學時 |
1 | 1、2 | 1.1 命題與聯結詞 | 熟悉 | 2 | |
1 | 3、4 | 1.2 命題公式及其賦值 | 熟悉 | 2 | |
2 | 5、6 | 2.1 等值式 | 熟悉 | 2 | |
2 | 7、8 | 2.2 析取范式與合取范式 | 掌握 | 2 | |
3 | 9、10 | 2.3 聯結詞的完備集 | 掌握 | 2 | |
3 | 11、12 | 2.4 可滿足性問題與消解法 | 熟悉 | 2 | |
4 | 13、14 | 3.1 推理的形式結構 | 熟悉 | 2 | |
4 | 15、16 | 3.2 自然推理系統P | 綜合運用 | 2 | |
5 | 17、18 | 3.3 消解證明法 | 掌握 | 2 | |
5 | 19、20 | 4.1 一階邏輯命題符號化 | 熟悉 | 2 | |
6 | 21、22 | 4.2 一階邏輯公式及解釋 | 了解 | 2 | |
6 | 23、24 | 6.1 集合的基本概念,6.2 集合的運算 | 熟悉 | 2 | |
7 | 25、26 | 6.3 有窮集的計數 | 掌握 | 2 | |
7 | 27、28 | 6.4 集合恒等式 | 熟悉 | 2 | |
8 | 29、30 | 7.1 有序對與笛卡兒積,7.2 二元關系 | 熟悉 | 2 | |
8 | 31、32 | 7.3 關系的運算 | 掌握 | 2 | |
9 | 33、34 | 7.4 關系的性質 | 掌握 | 2 | |
9 | 35、36 | 7.5 關系的閉包 | 掌握 | 2 | |
10 | 37、38 | 7.6 等價關系與劃分 | 掌握 | 2 | |
10 | 39、40 | 7.7 偏序關系 | 了解 | 2 | |
11 | 41、42 | 8.1 函數的定義與性質 | 熟悉 | 2 | |
11 | 43、44 | 8.2 函數的復合與反函數 | 熟悉 | 2 | |
12 | 45、46 | 8.3 雙射函數與集合的基數 | 熟悉 | 2 | |
12 | 47、48 | 8.4 一個電話系統的描述實例 | 綜合運用 | 2 | |
13 | 49，50 | 14.1 圖 | 熟悉 | 2 | |
13 | 51，52 | 14.2 通路與回路,14.3 圖的連通性 | 熟悉 | 2 | |
14 | 53，54 | 14.4 圖的矩陣表示,14.5 圖的運算 | 熟悉 | 2 | |
14 | 55，56 | 15.1 歐拉圖 | 熟悉 | 2 | |
15 | 57，58 | 15.2 哈密頓圖 | 熟悉 | 2 | |
15 | 59，60 | 15.3 最短路問題、中國郵遞員問題與貨郎擔問題 | 綜合運用 | 2 | |
16 | 61，62 | 16.1 無向樹及其性質,16.2 生成樹 | 熟悉 | 2 | |
16 | 63，64 | 16.3 根樹及其應用 | 熟悉 | 2 |
