仲愷農業工程學院計算機科學與技術專業課程教學大綱匯編-資料下載頁

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

　　

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