|
友情提示：本站提供全國400多所高等院校招收碩士、博士研究生入學考試歷年考研真題、考博真題、答案，部分學校更新至2012年，2013年；均提供收費下載。 下載流程： 考研真題 點擊“考研試卷””下載; 考博真題 點擊“考博試卷庫” 下載
2017 年碩士研究生入學考試自命題科目考試大綱
科目代碼：F0601 科目名稱：離散數學
一. 考試要求
主要考察學生對離散數學中集合、關系、函數、圖論、命題
邏輯、一階謂詞邏輯、推理系統、布爾代數等計算機數學的基本
概念、計算和證明方法的理解與掌握情況，以及應用上述概念和
方法進行應用問題離散建模、計算求解和邏輯推理的能力。注重
概念的深入理解、知識的綜合運用，以及現實問題分析和解決。
二、考試內容
1.邏輯和證明基礎
命題、邏輯聯接詞、真值表、位操作和位串、命題符號化及
應用、邏輯等價和蘊含、命題可滿足性及應用、謂詞、量詞、量
詞表達式等價及否定、嵌套量詞、謂詞邏輯符號化、推理規則、
歸結、邏輯證明、證明方法、證明策略、邏輯語義。要求熟練掌
握命題邏輯和謂詞邏輯的基本概念，掌握邏輯等價和蘊含分析方
法，掌握邏輯推理方法和證明方法，能夠熟練運用命題邏輯和謂
詞邏輯求解邏輯問題，了解可滿足性問題。
2.基本結構：集合、函數、序列、求和
集合基本概念、集合描述方法、常見集合、集合相等、屬于、
子集、空集、冪集、集合的基數、n 元組、笛卡爾乘積、集合運算
（交、并、差、補）、集合恒等式、廣義交、廣義并、集合的計算
機表示、（全）函數、函數算術、1 對 1 函數、1-1 對應、內射、
滿射、雙射、函數運算（逆函數、函數的合成）、若干重要函數、
部分函數、序列、算術級數、幾何級數、遞推關系、一些特殊序
列、累加、基數比較關系（=，?，?，）、可數集、不可數集、
基數關系證明。要求熟練掌握集合的基本概念、集合的運算；熟
練掌握函數、函數的運算及其證明；熟練掌握級數、累加；掌握
基數比較和函數的關系、可數集。
3.歸納和遞歸
數學歸納法原理、數學歸納法運用、強歸納法原理、強歸納
法運用、良序性質、遞歸定義函數、歸納定義法、遞歸定義的集
合和結構、結構歸納法、結構歸納法的運用、廣義歸納法、遞歸
算法、遞歸算法正確性證明、遞歸和迭代。要求熟練掌握數學歸
納法、強歸納法和結構歸納法，能夠熟練運用歸納定義法；掌握
遞歸和遞歸算法的基本概念，能夠較熟練編寫遞歸算法；了解遞
歸算法正確性證明。
4.關系
二元關系基本概念、關系與函數、二元關系的性質（自反、
對稱、反對稱、傳遞）及其證明、關系的運算、n-元關系基本概
念、n-元關系的運算、關系與數據庫、關系的表示（關系矩陣、
關系圖）、關系的閉包、等價關系、等價類、劃分、偏序、全序、
良序歸納原理、哈斯圖、最大（?。┰?、極大（?。┰⑸希ㄏ拢?br/>界、上（下）確界、格、拓撲排序。要求熟悉集合、關系和函數
的關聯關系；掌握關系的性質判定和運算；熟悉關系與關系數據
庫的關系；掌握等價關系、序關系，能夠證明相關性質；了解格
和拓撲排序。
5.圖
圖的基本概念、圖模型、圖的基本術語和特殊類型圖、二部
圖和匹配、圖的應用、圖的運算、圖的表示、圖同構、路徑和連
通性、歐拉路徑和哈密頓路徑及其應用、最短路徑算法、平面圖
及其應用、歐拉公式、庫拉托瓦斯基定理、圖的著色問題。要求
熟悉圖的基本概念和術語；掌握最短路徑算法；熟悉路徑和連通
性；較熟練掌握圖的性質證明；較好掌握二部圖和平面圖。
6.樹
樹的基本概念和術語、樹建模、樹的性質及其證明、樹的應
用、二叉樹、樹的遍歷算法、樹的編碼、生成樹、最小生成樹、
回溯。要求熟悉樹的基本概念；掌握樹的算法和性質證明；能夠
使用樹進行建模和應用；掌握各種樹的遍歷算法；掌握回溯法。
7.布爾代數
布爾函數、布爾表達式、布爾代數恒等式、對偶、布爾代數
定義、范式展開、邏輯門、電路、電路極小化。要求掌握布爾表
達式變換方法；熟悉布爾代數與電路的關聯關系；了解布爾代數。
三、考試形式
考試形式為閉卷、筆試，考試時間為 3 小時，滿分 150 分。
題型包括：計算題、證明題、分析題、推理題等。
四、參考書目
1.Discrete Mathematics and Its Applications (7th
edition), Kenneth H. Rosen, ISBN:978-0-07-338309-5,
McGraw-Hill, 2012.
2.《離散數學》，王兵山、張強、毛曉光主編，國防科技大學
出版社，2001.
免責聲明：本文系轉載自網絡，如有侵犯，請聯系我們立即刪除，另：本文僅代表作者個人觀點，與本網站無關。其原創性以及文中陳述文字和內容未經本站證實，對本文以及其中全部或者部分內容、文字的真實性、完整性、及時性本站不作任何保證或承諾，請讀者僅作參考，并請自行核實相關內容。
|
文章搜索
您現在的位置： 
