|
友情提示：本站提供全国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. 格与布尔代数
（四）图论
四、考试用具说明
考试时仅需要携带黑色笔。
免责声明：本文系转载自网络，如有侵犯，请联系我们立即删除，另：本文仅代表作者个人观点，与本网站无关。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。
|
文章搜索
您现在的位置： 
