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