期末离散数学复习稳过不挂指南(更新中)
目录
- 第一讲、集合论基础
- 1.特殊集合与集合间关系
- 2.集合的相等关系
- 第二讲、命题逻辑
- 1.命题联结词
- 否定联结词
- 合取联结词
- 析取联结词
- 蕴含联结词
- 等价联结词
- 2.命题符号化及其应用
- 命题联结词的优先级
- 复合命题符号化
- 3.命题公式和真值表
- 4.命题公式分类和等价
- 命题公式分类
- 公式的等价
- 公式等价的充分必要条件
- 5.命题等价公式及应用
- 基本等价关系
- 6.范式
- 范式与真值
- 7.主范式
- 极小项和极大项
- 极小项的性质
- 极大项的性质
- 极大项和极小项的性质
- 主析取范式和主合取范式
- 主范式求解定理
第一讲、集合论基础
1.特殊集合与集合间关系
2.集合的相等关系
第二讲、命题逻辑
1.命题联结词
否定联结词
合取联结词
析取联结词
- 析取联结词是可兼或的,而
蕴含联结词
等价联结词
2.命题符号化及其应用
命题联结词的优先级
复合命题符号化
3.命题公式和真值表
4.命题公式分类和等价
命题公式分类
公式的等价
公式等价的充分必要条件
5.命题等价公式及应用
基本等价关系
- 注意分配律的逆用,提取相同部分
6.范式
范式与真值
7.主范式
极小项和极大项
极小项的性质
极大项的性质
极大项和极小项的性质
主析取范式和主合取范式
主范式求解定理
期末离散数学复习稳过不挂指南(更新中)相关推荐
- 期末数据结构复习稳过不挂指南(更新中)
第一章.绪论 第二章.线性表 第三章.栈和队列 第四章.串 第五章.树与二叉树 第六章.图-上 第六章.图-下 第七章.查找 第八章.排序
- 期末软件工程导论复习稳过不挂指南(更新中)
第1章 软件工程概述 1.1 软件基本概念 软件 = 程序 + 数据 + 文档 软件的特点 : 1.逻辑 2. 磨损 3. 依赖 4. 手工 5. 成本 软件危机 :开发和维护 严重 软件危机产生原因 ...
- 期末Java面向对象程序设计复习稳过不挂指南(更新中)
目录 第三章.java类基础知识 第四节.自定义函数 ·同一个类中,函数名称可以相同,即重载函数(overload),但函数参数的个数或者类型必须不同 第四章.面向对象和类 第一节.面向对象思想 ·对 ...
- 大学不挂科c语言题库及答案,C语言期末总复习,保你不挂科!
C语言期末总复习 总体上必须清楚的:- 1)程序结构是三种: 顺序结构 , 循环结构(三个循环结构), 选择结构(if 和 switch)- 2)读程序都要从main()入口, 然后从最上面顺序往下读 ...
- 【离散数学】离散数学系列文章汇总目录(持续更新中)
本文属于「离散数学」系列文章的汇总目录.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏本文以作备忘.此外,在本系列学习文章中,为了透彻理解离散数学,本人参考了诸多博客 ...
- 2018人工智能期末考试复习资料(一):学术篇
机器之心知识委员会 机心通知函[2018]002号 2018 年人工智能专业期末考试复习资料:学术篇 各人工智能研究者.工程师.从业人: 2018 年是人工智能迅猛发展的一年,从技术研究到产业应用都取 ...
- 【OS】期末总结复习
文章目录 操作系统复习 1. 知识点概念梳理: 期末总复习 第一章 操作系统引论 第二章 进程和线程 进程的状态 第三章 死锁 第四章 调度 第五章 存储管理 第五章 文件系统 第七章 IO输入输出管 ...
- 传感器与检测技术基础 复习提纲 考试不挂科专用版
传感器与检测技术基础 复习提纲 考试不挂科专用版 题型: 选择题 判断题 问答题 计算题 复习要点 1. 了解传感器定义.组成及分类. 定义:传感器是一中以一定精度把测量(主要是非电量)转换与之有确定 ...
- 电子电路期末考试复习预测题一(内附详细解析)
电子电路期末考试复习预测题(一) 目录 电子电路期末考试复习预测题(一) 复习题一 试题库(1)直流电路 试题库(2)直流电路 试题库(3)暂态电路 复习题一 试题库(1)直流电路 三.单项选择题 1 ...
最新文章
- Oracle Linux Server release 6.3 下安装JDK
- python动态排名可视化_动态排名可视化 | 带你领略编程语言20年风云变化
- Java 重定位 —— redirect:
- python全栈开发要学些什么_如何迅速学习Python 全栈开发?
- MFC CListCtrl
- conda失败说没有写权限_爱情中,为什么男生表白失败,女生还说可以继续做朋友,想过没有...
- 运用python的方式_对Python使用mfcc的两种方式详解
- easyconnect获取服务端配置信息失败_图文解析 Nacos 配置中心的实现
- Java虚拟机 —— 内存和线程
- 03-23 卡顿分析
- 最受欢迎 Top 12 Python 开源框架,你都用过吗?| 原力计划
- 树莓派桌面没有时间_树莓派日期时间不准的修正方法
- 动态规划之状态压缩DP
- 《NX-OS与Cisco Nexus交换技术:下一代数据中心架构(第2版)》一2.9 本章小结...
- uniapp的选择收货地址
- UI设计中线性图标设计总结
- 数据挖掘与数据分析项目链家租房数据(一)数据爬虫
- Excel中的LEN和LENB,VBA中的Len和LenB
- Python中以字母r/R,或字母u/U 开头的字符串
- Linux面试最高频的5个基本问题
热门文章
- Smartform中如何设置背景阴影色(Shading)
- SAP——102和122和161区别
- 一直觉得饿是什么问题
- OA工作流程怎么梳理
- ABAP:ALV中自定义搜索帮助
- 干燥剂变身“配重剂”,究竟有多少商家在休闲零食市场浑水摸鱼?
- ajax值上传不过去,ajax上传时参数提交不更新等相关问题
- android activity view 区别,片段中onCreateView和onViewCreated之间的区别
- python弹球小游戏程序_Python基于Tkinter模块实现的弹球小游戏
- [JDBC] 获取数据库连接方式