|
友情提示：本站提供全國400多所高等院校招收碩士、博士研究生入學考試歷年考研真題、考博真題、答案，部分學校更新至2012年，2013年；均提供收費下載。 下載流程： 考研真題 點擊“考研試卷””下載; 考博真題 點擊“考博試卷庫” 下載
初試 831《離散數學》科目考試大綱
一、考查目標
離散數學是現代數學的一個重要分支，是計算機科學中基礎理論
的核心課程。考核的內容是計算機專業需要的重要基礎部分，包括：
1.數理邏輯部分，要求掌握命題及其表示法、連接詞、重言式與
蘊含式、對偶與范式、推理證明、謂詞邏輯等；
2.集合論部分，要求掌握關系及其表示、復合關系和逆關系、集
合的劃分和覆蓋、等價關系與等價類、特征函數與模糊子集、
可數集與不可數集等；
3.代數結構部分，要求掌握群、環和域、阿貝爾群和循環群、置
換群、陪集與拉格朗日定理、同態與同構等；
4.布爾代數部分，要求掌握格、布爾代數、布爾表達式等；
5.圖論部分，要求掌握圖的基本概念、路與回路、圖的矩陣表示、
歐拉圖與漢密爾頓圖、平面圖、樹等；
二、考核形式與試卷結構
（一）試卷滿分及考試時間
滿分為 150 分，考試時間為 3 小時。
（二）答題方式
答題方式為閉卷、筆試。
（三）試卷內容結構
客觀題，包括判斷題、填空題、選擇填空題。主觀題，包括計算
題和證明題。其中：
數理邏輯和集合論部分（65 分）
代數結構和布爾代數部分（50 分）
圖論部分（35 分）
（四）試卷題型結構
客觀題 40 分，計算題和證明題 110 分。
其中：
選擇、判斷和填空題（30 分）
簡答題（10 分）
計算題（70 分）
證明題（40 分）
三、考查內容及要求
（一）數理邏輯
1. 命題邏輯
2. 謂詞邏輯
（二）集合論
1. 集合與關系
2. 函數
（三）代數系統
1. 代數結構
2. 格與布爾代數
（四）圖論
四、考試用具說明
考試時僅需要攜帶黑色筆。
免責聲明：本文系轉載自網絡，如有侵犯，請聯系我們立即刪除，另：本文僅代表作者個人觀點，與本網站無關。其原創性以及文中陳述文字和內容未經本站證實，對本文以及其中全部或者部分內容、文字的真實性、完整性、及時性本站不作任何保證或承諾，請讀者僅作參考，并請自行核實相關內容。
|
文章搜索
您現在的位置： 
