|
|
|
|
|
|
 |
中科院计算机专业各科考试要点 |
|
|
资料大小： 22 K |
| 推荐指数： ★★★ |
| 资料属性： |
| 资料语言： 简体中文 |
| 2008年考研课件、视频、讲座、资料 |
| 添加时间： 2008-3-16 16:05:06 |
| 解压密码： |
|
|
| 下载次数： 日： 周： 月： 总： |
《离散数学》考试要点
以下是偶整理的《离散数学》考查要点，
希望对大家的复习备考有所帮助。
参考书：《离散数学》左孝凌等编著，上海科学技术文献出版社出版
数理逻辑
考查要点：公式推演，谓词演算，符号化推理。
第一章：命题逻辑
符号化命题，命题定律；
重言式、蕴含式及其性质；
主合取范式、主析取范式，二者的关系（必考题，一般运算较繁，应力求熟练）；
推理理论，基本蕴含式和等价式（p43）；
1-9节略过。
第二章：谓词逻辑
基本概念；
用谓词公式符号化命题；
了解变元的约束；
谓词演算的等价式与蕴含式，
熟悉表2-5.1中的等价式和蕴含式，理解p70页的例子；
了解前束范式；
谓词演算的推理理论，熟悉基本规则，
注意存在量词和全称量词的消去顺序，
关于UG规则的使用，请参考往年试题中方法。
-----------------------------------------------
集合论
考查要点：基本概念；关系及其性质，等价关系与等价类，序关系。
第三章：集合与关系
集合运算；
关系、关系矩阵、关系图；
关系的性质；
复合关系、逆关系，复合关系矩阵的构造；
了解关系的闭包运算，Warshall算法；
划分与覆盖的概念；
等价关系、等价类，商集，相关性质；（重点）
命题：集合A上的等价关系个数，等于A的划分种数；（常用于辅助计算）
了解相容关系、相容类、最大相容类；
偏序关系、偏序集，哈斯图；
链和反链的概念；
了解全序集合、全序关系；
了解概念极大元、极小元，最大元、最小元，上确界、下确界；
了解良序集。
第四章：函数
函数概念，函数相等；
满射（即到上映射）；
入射（即单射、一对一映射）；
双射（即一一对应）；
其它略过。 |
* 为了达到最快的下载速度，推荐使用网际快车下载本站资料。
* 本站资料用WinRAR压缩，如果不能解压，请下载最新版WinRAR解压本站资料。
* 如果您发现该资料不能下载，请通知管理员或点击【此处报错】，谢谢！
* 未经本站明确许可，任何网站不得非法盗链及抄袭本站资源；如引用页面，请注明来自本站，谢谢您的支持！
* 本站是一个大型、专业的学习资料共享站点，所有资料均免费提供给大家下载，欢迎大家上传资料，详情点击进入。 |
 网友评论：（只显示最新10条。评论内容只代表网友观点，与本站立场无关！） | 【发表评论】 |
|
|
|
|
|
|
