浙江理工大学本科生课程离散数学复习_第1页
浙江理工大学本科生课程离散数学复习_第2页
浙江理工大学本科生课程离散数学复习_第3页
浙江理工大学本科生课程离散数学复习_第4页
浙江理工大学本科生课程离散数学复习_第5页
已阅读5页，还剩4页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

复习离散数学浙江理工大学本科生课程计算机科学与技术系

题型和分数分配填空题16空（32分）选择题7题（14分）解答题5大题（54分）每章一题（除了第5章函数）第一章集合代数本章的主要内容集合的基本概念—集合、相等、(真)包含、子集、空集、全集、幂集

集合运算—交、并、(相对和绝对)补、对称差文氏图—有穷集计数问题(简单带过)

集合恒等式（重点）第四章关系本章的主要内容有序对与笛卡儿积二元关系的定义和表示法关系的运算关系的性质（重点）关系的闭包等价关系与划分（重点）偏序关系与哈斯图第五章函数本章的主要内容函数的定义函数的性质（重点）函数的逆函数的合成

第二章命题逻辑2.1命题逻辑基本概念命题、联结词、复合命题命题公式、赋值、命题公式的分类2.2命题逻辑等值演算等值式与基本的等值式等值演算与置换规则2.3范式析取范式与合取范式、主析取范式与主合取范式（重点）联结词完备集(自己看)2.4

命题逻辑的推理理论第三章一阶逻辑3.1一阶逻辑基本概念一阶逻辑命题符号化一阶逻辑公式及解释3.2一阶逻辑等值演算一阶逻辑等值式与基本等值式置换规则、换名规则、代替规则前束范式3.3一阶逻辑推理（重点）第六章图6.1图图的定义简单图和多重图顶点的度数与握手定理(重点)图的同构完全图与正则图子图与补图通路与回路6.2图的连通性无向图的连通性及判别方法

无向图的连通程度：点割集、割点、边割集、割边、连通度有向图的连通性及判别方法(重点)6.4几种特殊的图概念：二

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论