离散数学学习

基于https://blog.csdn.net/aiqq136/article/details/113445181这篇文章做的一些笔记,精简了原文的一些内容

课时一 命题逻辑的基本概念

在这里插入图片描述

  1. 命题:能判断其真值的陈述句.
  2. 真值:真、假.(1、0)
  3. 真命题:真值为真的命题.
  4. 假命题:真值为假的命题.
  5. 原子命题(简单命题):不能再被分解成更简单的命题.
  6. 复合命题:由简单命题通过联结词联结而成的命题.
    判定给定句子是否为命题,应该分两步:
    ① 首先判定它是否为陈述句.
    ② 其次判断它是否有唯一真值

题 1.下列语句中,下面哪一个选项是命题?()
我正在说谎.
解释:因为无法确定真假,所以不是命是
原因是,如果这话是真的,那么我就不是现在说谎的人。其间我说了那句话不管什么内容成为是假的了,这与假定是真的相矛盾又,如果这话是假的,那么我现在不是说真话的人。其间我说了这句话,不管什么内容成为是真的,这与假定是假的相矛盾。
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

课时二:命题逻辑等值演算

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
3. 主析取范式与主合取范式
在含有n个命题变元的简单合取式(简单析取式)中,若每个命题变元和它的否定式恰好
出现一个且仅出现一次,而且命题变元或它的否定式按照下标从小到大顺序排列,称这
样的简单合取式(简单析取式)为极小项(极大项).
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
4. 联结词的完备集
设S是一个联结词集合,如果一个命题公式都可以由仅含S中的联结词构成的公式表示,则称S是一个联结词完备集.
在这里插入图片描述
在这里插入图片描述

课时三:命题逻辑的推理理论

在这里插入图片描述

  1. 推理的相关公式
    在这里插入图片描述
    在这里插入图片描述

课时四 谓词逻辑基本概念

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时五谓词逻辑等值演算与推理

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
课时六集合代数
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时七二元关系(1)

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时八二元关系(2)

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时九 函数

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时十 代数结构

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时十一图的基本概念

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时十二欧拉图与哈密顿图

在这里插入图片描述
在这里插入图片描述

课时十三 树

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

课时十四平面图

在这里插入图片描述
在这里插入图片描述

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值