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