【導(dǎo)讀】教學(xué)大綱是教學(xué)工作的指導(dǎo)性文件，對完成教學(xué)計劃和培養(yǎng)高質(zhì)量人才至關(guān)重要。大綱也要與時俱進(jìn)，不斷修訂。近幾個月以來，在學(xué)院新一屆領(lǐng)導(dǎo)的精心組織和計算機(jī)?？茖W(xué)與技術(shù)教研室全體教師密切配合、共同努力下，新版教學(xué)大綱修訂全部完成。基本操作技能的學(xué)習(xí)，有效遏制計算機(jī)專業(yè)學(xué)生計算機(jī)基本操作能力逐年下滑的趨勢。隨著計算機(jī)科學(xué)與技術(shù)的迅猛發(fā)展，很多新知識、新理論、新技術(shù)、新進(jìn)展問世，需要及時充實到教學(xué)內(nèi)容中。同時，教學(xué)改革在不斷深化，為加。因此，新版教學(xué)大綱對所有課程都進(jìn)行了不同程度的修改、更新。學(xué)院領(lǐng)導(dǎo)先后多次召開教學(xué)大綱修訂專題研討會，對課程的知識點、知識面、知識結(jié)構(gòu)、人才培養(yǎng)要求，以及相關(guān)課程內(nèi)容的重復(fù)、遺漏，專業(yè)課與基礎(chǔ)課的銜接等方面的問題展開了深入的討論，通過研討取得了共識?？茖W(xué)、合理的教學(xué)大綱打下了良好基礎(chǔ)。礎(chǔ)上，開設(shè)了綜合性或設(shè)計性實驗。

　　

【正文】 隊列等典型數(shù)據(jù)結(jié)構(gòu)用 C 語言 實現(xiàn)的方法 ， 掌握用 C 語言 來實現(xiàn)后續(xù)課程中一些基本算法， 如 排序、查找等。懂得軟件設(shè)計的基本方法和程序調(diào)試的基本過程。 三、 實驗教學(xué)目的與要求 C 語言是影響深遠(yuǎn)的、傳統(tǒng)的、面向過程的優(yōu)秀編程語言。 C 語言功能豐富，表達(dá)能力強(qiáng)，使用靈活方便，目標(biāo)程序效率高，可移植性好，既具有高級程序設(shè)計語言的優(yōu)點，又具有低級程序設(shè) 計語言的許多特點。 通過本門課程學(xué)習(xí)，應(yīng)使學(xué)生掌握 C語言的基本原理，學(xué)會運用 C 語言進(jìn)行程序設(shè)計，同時提高分析問題和解決問題的能力，為后續(xù)課程的學(xué)習(xí)和應(yīng)用奠定程序設(shè)計基礎(chǔ)?！?程序設(shè)計基礎(chǔ) 》是一門理論性、實踐性均較強(qiáng)的課程，在教學(xué)過程中要突出理論聯(lián)系實際的基本原則，注重上機(jī)實驗。 四、 實驗項目、內(nèi)容提要與要求 序 號 實 驗 名 稱 實 驗 類 型 實 驗 時 數(shù) 實 驗 者 類 別 實 驗 目 的 每 組 人 數(shù) 實驗內(nèi)容提要 教 學(xué) 方 法 教 學(xué) 要 求 備 注 實驗一 認(rèn)識實驗 認(rèn) 識 2 本 科 生 熟悉上機(jī)環(huán)境 1 程序的運行環(huán)境和運行方法 講解為主 完全掌握 實驗二 簡單編程 設(shè) 計 2 本 科 生 掌 握 簡 單 編 程 1 簡單的 C 程序設(shè)計 講練結(jié)合 完全掌握 17 實驗三 數(shù)組運用 設(shè) 計 2 本 科 生 學(xué) 會 使 用 數(shù) 組 1 涉及數(shù)組運用的程序設(shè)計 講練結(jié)合 靈活運用 實驗四 函數(shù)運用 設(shè) 計 2 本 科 生 學(xué) 會 使 用 函 數(shù) 1 涉及函數(shù)運用的程序設(shè)計 講練結(jié)合 靈活運用 實驗五 指針運用 設(shè) 計 2 本 科 生 盡 量 熟 悉 指 針 1 設(shè)計指針運用的程序設(shè)計 講練結(jié)合 盡量掌握 實驗六 . 綜合編程 綜 合 6 本 科 生 培 養(yǎng) 綜 合 能 力 1 程序設(shè)計綜合練習(xí)（兼編程競賽） 自主完成 發(fā)揮優(yōu)勢 五、 考核辦法和成績評定標(biāo)準(zhǔn) 按學(xué)生獨立動手和理論分析能力和實驗報告分優(yōu)、良、中、及格、不及格。其中：優(yōu)，應(yīng)該能夠達(dá)到獨立完成實驗并正確解答實驗中提出的問題，實驗報告詳實；良，獨立完成實驗并正確解答實驗中提出的部分問題，實驗報告詳實；中，獨立完成實驗，實驗報告詳實；及格，在其它同學(xué)和老師幫助下完成實驗，實驗報告基本詳實；不及格：未完成實驗或無實驗報告。 六、 實驗指導(dǎo) 書 李峰 .C 程序設(shè)計習(xí)題解答與上機(jī)指導(dǎo) .復(fù)旦大學(xué)出版社， 2020。 七、 其他說明 實驗項目和內(nèi)容自編，部分實驗內(nèi)容參考實驗指導(dǎo)書。 大綱修訂人：黃洪波、王成 修訂日期： 2020 年 8月 大綱審核人：石玉強(qiáng)、楊靈 審定日期： 2020 年 10月 18 《 離散數(shù)學(xué) 》課程 簡介 中文課程名稱 離散數(shù)學(xué) 英文課程名稱 Discrete Mathematics 學(xué)分 學(xué)時 54 開課單位 信息科學(xué)與技術(shù)學(xué)院 課程類別 學(xué)科基礎(chǔ)必修 先修課程 中學(xué)數(shù)學(xué)知識、高等數(shù)學(xué)、線性代數(shù)的課程 課內(nèi)總學(xué)時 48 實驗總學(xué)時 0 講課總學(xué)時 48 課程負(fù)責(zé)人 閆大順 任課教師 閆大順、曾憲貴 教學(xué)方式 多媒體教學(xué)為主，輔助網(wǎng)絡(luò)教學(xué) 教材 1． 屈婉玲、耿素云、張立昂主編 .離散數(shù)學(xué) (第 2 版） . 北京：清華大學(xué)出版社 ,2020 參考書 1．左孝陵等．離散數(shù)學(xué)．上海：上?？茖W(xué)技術(shù)出版社， 2020 2．李盤林、李麗雙、李洋、王春立 編著 .離散數(shù)學(xué) .北京：高等教育出版社 , 1999 3. 徐潔磬編著 . 離散數(shù)學(xué)導(dǎo)論 (第三版 ).北京：高等教育出版社， 2020 4. 金一慶 , 金廷贊 , 張三元編 . 離散數(shù)學(xué) . 杭州：浙江大學(xué)出版社 , 1998 5． [美 ]Berbnad Kdman 等． Diserete Mathematic Structures 3rd Ed．北京：清華大學(xué)出版社， 1999 課程簡介 離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的一個分支，并是計算機(jī)專業(yè)的一門學(xué)科基礎(chǔ)必修課程，主要是研究各種離散形式的對象，并研究它們的結(jié)構(gòu)及其關(guān)系，在數(shù)據(jù)結(jié)構(gòu)、算法分析與分析、操作系統(tǒng)、編譯系統(tǒng)各、人工智能、軟件工程、網(wǎng)絡(luò)與分布式計算、計算機(jī)圖形學(xué)、數(shù)據(jù)庫以及計算機(jī)體系結(jié)構(gòu)等領(lǐng)域有廣 泛的應(yīng)用，是數(shù)學(xué)建模的捉弄個要工具之一。本課程主要內(nèi)容集合論、代數(shù)結(jié)構(gòu)與代數(shù)系統(tǒng)、數(shù)理邏輯、關(guān)系、基本計數(shù)以及圖論等方面的初步知識。 備注 19 離散數(shù)學(xué) Discrete Mathematics 一、課程基本信息 課程名稱：離散數(shù)學(xué) （理論 48） 學(xué) 分： 考核方式： 考試（其中平時成績占 30%，期末考試成績占 70%） 離散數(shù)學(xué)是現(xiàn)代數(shù)學(xué)的一個分支，并是計算機(jī)專業(yè)的一門核心基礎(chǔ)課程。本課程主要研究處理離散結(jié)構(gòu)所必須的描述工具和方法，通過講授集合論、代數(shù)結(jié)構(gòu)與代數(shù)系統(tǒng)、數(shù)理邏輯以及圖論等方面的初步知識 ，為計算機(jī)及其相關(guān)專業(yè)的課程打下堅實的基礎(chǔ)。 二、教學(xué)目的與要求 離散數(shù)學(xué)是計算機(jī)科學(xué)中基礎(chǔ)理論的核心課程，也是培養(yǎng)學(xué)生嚴(yán)格的邏輯推理和抽象思維能力，提高學(xué)生素質(zhì)的核心課程，其任務(wù)是為學(xué)習(xí)計算機(jī)專業(yè)理論打下扎實的數(shù)學(xué)基礎(chǔ)。離散數(shù)學(xué)是數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、編譯理論、算法分析、邏輯設(shè)計、系統(tǒng)結(jié)構(gòu)等課程的理論基礎(chǔ)。因此，在最初的國內(nèi)外教材中，取材各異，側(cè)重不同，為了適應(yīng)教學(xué)的需要，通過近十幾年來的教學(xué)實踐，內(nèi)容逐步統(tǒng)一，現(xiàn)在基本包括數(shù)理邏輯、集合論、代數(shù)結(jié)構(gòu)、圖論、自動機(jī)理論等方面內(nèi)容。 三、教學(xué)方法與手段 采用多 媒體授課的方式，主要采用課堂講授，針對某些重要問題，采用習(xí)題課的形式進(jìn)行即時做題，促進(jìn)學(xué)生對離散對象定義、定理的理解和掌握。 四、教學(xué)內(nèi)容及要求 教學(xué)內(nèi)容 教學(xué)目標(biāo) 學(xué)時 分配 第一章 集合代數(shù) 第一節(jié) 集合的基本概念 理解 1 第二節(jié) 集合的運算 掌握 2 第三節(jié) 集合恒等式 掌握 1 重點與難點 : 集合的定義和集合的運算 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1． 了解常用的集合；會求子集和冪集。 2． 掌握集合的運算和性質(zhì)；理解集合的計數(shù)問題。3． 掌握并會靈活運用集合恒等式。 第二章 命題邏輯 第一節(jié) 命題與聯(lián)結(jié)詞 掌握 第二節(jié) 命題公式及其賦值 掌握 第三節(jié) 等值式 掌握 2 第四節(jié) 析取范式和合取范式 掌握 2 第五節(jié) 聯(lián)結(jié)詞的完備集 了解 20 第六節(jié) 推理的形式結(jié)構(gòu) 理解 1 第七節(jié) 自然推理系統(tǒng) 了解 重點與難點 : 判斷公式類型、求解公式的真值表，推理過程 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1． 理解命題概念；掌握幾種重要的邏輯聯(lián)結(jié)詞 。 2． 理解五個邏輯聯(lián)結(jié)詞概念；掌握由它們構(gòu)成的公式及真值表；熟練掌 握求給定公式真值表的方法。 3. 記住基本等值式；掌握用真值表法和等值演算法判別公式類型和公式等值變換的方法。 4. 會用等值演算法求公式的析取范式和合取范式；會列真值表求公式的主析取范式和主合取范式。 5. 了解一些常用的聯(lián)結(jié)詞的完備集 。 6. 了解重言蘊涵式構(gòu)造推理證明；理解演繹法和附加前提法。 第三章 一階邏輯 第一節(jié) 一階邏輯命題符號化 掌握 2 第二節(jié) 一階邏輯公式及解釋 掌握 1 第三節(jié) 一階邏輯等值式與置換規(guī)則 掌握 2 第四節(jié) 一階邏輯前束范式 理解 1 第五節(jié) 一階 邏輯的推理理論 了解 1 重點與難點 : 一階邏輯的符號化、等值公式的變換 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1. 掌握一階邏輯命題符號化 。2. 掌握一階邏輯公式在給定解釋下的真值。 3. 掌握一階邏輯等值式；會判斷謂詞公式在給定解釋下的真值。 4. 會用一階邏輯等值演算法求公式的前束范式。 第四章 二元關(guān)系 第一節(jié) 有序?qū)εc笛卡爾積 理解 1 第二節(jié) 二元關(guān)系 理解 1 第三節(jié) 關(guān)系的運算 掌握 1 第四節(jié) 關(guān)系的性質(zhì) 掌握 2 第五節(jié) 關(guān)系的閉包 了解 1 第六節(jié) 等 價關(guān)系和劃分 掌握 2 第七節(jié) 偏序關(guān)系 了解 1 重點與難點 : 關(guān)系性質(zhì)和運算，判斷關(guān)系的性質(zhì)和類型 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1． 理解兩集合的笛卡爾積 。 2． 理解二元關(guān)系的概念；掌握三種特殊的關(guān)系；會求關(guān)系矩陣和關(guān)系圖 。 3. 掌握關(guān)系的逆運算和合成運算。 4. 掌握關(guān)系所滿足的性質(zhì)。 5. 了解關(guān)系的閉包運算求解過程。 6. 掌握等價關(guān)系的證明；會求等價類和劃分。 7. 了解偏序關(guān)系和其對應(yīng)的哈斯圖。 21 第五章 函數(shù) 第一節(jié) 函數(shù)的定義與性質(zhì) 理解 2 第二節(jié) 函數(shù)的復(fù)合和反 函數(shù) 理解 2 重點與難點 : 函數(shù)的類型判斷，函數(shù)與關(guān)系的不同 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1. 理解函數(shù) (映射 )，函數(shù)相等，象與原象、單射、滿射和雙射等概念，掌握其判別方法 。 2. 理解復(fù)合函數(shù)和反函數(shù)概念。 第六章 圖 第一節(jié) 圖的定義 理解 1 第二節(jié) 通路與回路 了解 第三節(jié) 圖的連通性 了解 第四節(jié) 圖的矩陣表示 掌握 第五節(jié) 二部圖 掌握 第六節(jié) 歐拉圖和哈密頓圖 理解 1 第七節(jié) 平面圖 理解 1 重點與難 點 : 驅(qū)動模塊和樁模塊的設(shè)計、單元測試的過程 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1． 理解圖的基本概念；掌握圖的握手原理。 2． 了解有向圖和無向圖的通路與回路的概念 。 3． 了解有向圖的連通性和無向圖連通分支數(shù)。 4． 能夠判斷哪些圖是二部圖、歐拉圖和哈密頓圖 。 。 第七章 樹及應(yīng)用 第一節(jié) 無向樹及其性質(zhì) 了解 1 第二節(jié) 生成樹 了解 1 第三節(jié) 根樹及其應(yīng)用 了解 1 重點與難點 : 無向樹的等價定義，圖的生成樹的算法 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1. 了解無向樹的概念與性質(zhì)。 2. 了解生成樹的概念與性質(zhì)。 3. 了解根樹及其應(yīng)用，會用哈夫曼算法求最優(yōu)二叉樹。 第八章 代數(shù)系統(tǒng) 第一節(jié) 二元運算及其性質(zhì) 了解 1 第二節(jié) 代數(shù)系統(tǒng) 理解 1 第三節(jié) 半群與獨異點 理解 1 第四節(jié) 群的定義與性質(zhì) 理解 1 第五節(jié) 子群 了解 第六節(jié) 環(huán)的定義與性質(zhì) 了解 第七節(jié) 整環(huán)與域 了解 22 第八節(jié) 格的定義與性質(zhì) 了解 第九節(jié) 子格與格同態(tài) 了解 第十節(jié) 布爾代數(shù) 了解 重點與難點 : 運算的封閉性、單位元、零元、逆元 衡量學(xué)習(xí)是否達(dá)到目標(biāo)的標(biāo)準(zhǔn) : 1． 了解二元運算及其性質(zhì) 。 2． 理解代數(shù)系統(tǒng)的概念及其分類 。 3. 能夠判斷哪些代數(shù)系統(tǒng)是半群、獨異點和群。 4. 掌握群的性質(zhì)和證明方法。 五、推薦教材和教學(xué)參考資源 1. 屈婉玲、耿素云、張立昂主編 .離散數(shù)學(xué) (第 2版） . 北京：清華大學(xué)出版社 ,2020 2．左孝陵等．離散數(shù)學(xué)．上海：上?？茖W(xué)技術(shù)出版社， 2020 3．李盤林、李麗雙、李洋、王春立 編著 .離散數(shù)學(xué) .北京：高等教育出版社 , 1999 4. 徐潔磬編著 . 離散數(shù)學(xué)導(dǎo)論 (第三版 ).北京：高等教育出版社， 2020 5. 金一慶 , 金廷贊 , 張三元編 . 離散數(shù)學(xué) . 杭州：浙江大學(xué)出版社 , 1998 6． [美 ]Berbnad Kdman et． Diserete Mathematic Structures．北京：清華大學(xué)出版社 , 2020。 大綱修訂人：閆大順，曾憲貴 修訂日期： 2020 年 10 月 大綱審定人： 石玉強(qiáng)、楊靈 審定日期： 2020 年 10 月