已阅读5页，还剩5页未读， 继续免费阅读
版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领
文档简介
.,1,总复习,.,2,主要内容,命题逻辑谓词逻辑集合二元关系函数图论,.,3,命题逻辑,命题,原子命题,复合命题,联结词,命题公式,永真式,永真蕴涵式,等价公式,范式,命题逻辑推理,直接推理,间接推理,附加前提法,反证法,析取,合取,主析取,主合取,.,4,逻辑联结词要熟练掌握联结词的真值表定义以及它们在自然语言中的含义特别注意“”和“”的用法命题符号化、约束变元换名掌握永真式的证明方法真值表等价变换，化简成主范式掌握永真蕴含式的证明方法掌握等价公式的证明方法对偶式熟练掌握范式的写法熟练掌握三种推理方法直接证明附加前提反证法,学习重点及要求：,.,5,谓词逻辑,本章重点掌握内容：1.各基本概念清楚。2.会命题符号化。3.熟练掌握等价公式和永真蕴涵式；判断公式类型4.熟练掌握谓词逻辑的三种推理方法。,.,6,集合,本章重点掌握内容：1.幂集2.容斥原理3.熟练掌握集合的运算,.,7,二元关系,.,8,本章重点掌握内容：1.关系的性质、关系图、关系矩阵2.等价关系、偏序关系、商集3.熟练掌握关系的闭包4.熟练掌握哈斯图，8大元素,.,9,函数,本章重点掌握内容：1.熟练掌握复合函数和逆函数2.熟练掌握三大特殊函数,.,10,图论,本章重点掌握内容：1.熟练掌握欧拉公式2.熟练
温馨提示
- 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026秋季国家管网集团福建公司高校毕业生招聘笔试备考题库（浓缩500题）及答案详解（真题汇编）
- 2025年国家管网集团高校毕业生招聘备考试题（浓缩500题）及答案详解【新】
- 2026秋季国家管网集团西部管道公司高校毕业生招聘笔试参考题库（浓缩500题）含答案详解（培优a卷）
- 2026国网山东省高校毕业生提前批招聘（约450人）笔试模拟试题浓缩500题及一套参考答案详解
- 2026国网青海省电力公司高校毕业生提前批招聘笔试模拟试题浓缩500题及答案详解（基础+提升）
- 同仁堂集团2026届高校毕业生招聘考试参考试题（浓缩500题）附答案详解（考试直接用）
- 2026国网山东省高校毕业生提前批招聘（约450人）笔试模拟试题浓缩500题附答案详解（研优卷）
- 2026国家管网集团北方管道公司秋季高校毕业生招聘考试备考试题（浓缩500题）带答案详解ab卷
- 国家管网集团山东分公司2026届秋季高校毕业生招聘笔试模拟试题（浓缩500题）带答案详解（满分必刷）
- 2025年低空飞行器电池热管理系统研发进展与产业应用分析报告
- 北京市东城区2024-2025学年八年级上学期期末考试英语试题
- 国家体育总局2025年事业单位公开招聘人员(秋季)笔试历年参考题库及答案
- 2025年中国电信校园招聘面试准备与常见问题解答
- C社区多多买菜营销策略优化研究
- 2024统编版二年级语文上册全册生字字帖（田字格）
- 跨境游戏监管挑战-洞察及研究
- 南极磷虾油高值化开发利用技术研究进展与展望
- 北京市朝阳区2023-2024学年七年级上学期期中考试语文试题含参考答案
- 陕煤企业文化考试题库及答案
- 新教师入职培训教案及教学设计范例
- 2025年智能机床行业研究报告及未来发展趋势预测
评论
0/150
提交评论