已阅读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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- GB/T 1147.2-2025中小功率内燃机第2部分：试验方法
- 【正版授权】 IEC 61196-1-114:2025 EN Coaxial communication cables - Part 1-114: Electrical test methods - Test for inductance
- 【正版授权】 IEC 60966-2-8:2025 EN-FR Radio frequency and coaxial cable assemblies - Part 2-8: Detail specification for cable assemblies for radio and TV receivers - Frequency range up t
- 亲属名义购房协议书
- 校企合作共建协议书
- 公司纳税担保协议书
- 公司签定股东协议书
- 内部资金往来协议书
- 医疗护送公司协议书
- 机关位包车合同范本
- 全国大学生职业规划大赛《大数据技术》专业生涯发展展示【高职（专科）】
- 面粉企业安全培训课件
- 大学生国家安全教育（复旦大学版）学习通网课章节测试答案
- IPC7711C7721C-2017（CN）电子组件的返工修改和维修（完整版）
- TCAEPI12.5-2017柴油车排气后处理装置技术要求第5部分机械性能
- 厂务安全知识培训内容课件
- 化工管路课件
- 小建筑设计汇报
- （正式版）DB54∕T 0490-2025 《林长制工作规范》
- 移动通信方案(3篇)
- 心衰的临床表现及护理措施
评论
0/150
提交评论