离散数学 一天速成

已于 2023-12-14 09:07:35 修改
阅读量840 收藏 21
点赞数 3
分类专栏： 大学课程 文章标签： 学习
于 2023-12-12 22:56:00 首次发布
本文链接：https://blog.csdn.net/lt6666678/article/details/134953014
版权

文章目录

💖 资料来自网络，仅供参考，如有侵权，联系删除。

一、命题逻辑的基本概念

1. 命题

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

2. 命题联结词

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
公式为矛盾式
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

二、命题逻辑等值演算

1. 等值式

📚不进🧠

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

🌰子

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

2. 析取范式和合取范式

📚不进🧠

在这里插入图片描述

🌰子

在这里插入图片描述

3. 主析取范式和主合取范式

📚不进🧠

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

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

🌰子

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

在这里插入图片描述

4. 联结词的完备集

📚不进🧠

在这里插入图片描述

在这里插入图片描述

🌰子

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

三、命题逻辑的推理理论

📚不进🧠


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

🌰子

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

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

在这里插入图片描述

在这里插入图片描述

四、谓词逻辑

1. 谓词逻辑的基本概念

📚不进🧠

在这里插入图片描述

在这里插入图片描述

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

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

在这里插入图片描述

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

🌰子

在这里插入图片描述

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

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

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

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

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

五、集合代数

1. 集合的基本概念

📚不进🧠

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

🌰子

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

2. 集合的运算

📚不进🧠

在这里插入图片描述

🌰子

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

3. 有穷集的计数

📚不进🧠

在这里插入图片描述

🌰子

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

4. 集合的恒等式

📚不进🧠

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

常用结论

在这里插入图片描述

🌰子

在这里插入图片描述

六、二元关系

1. 有序对和笛卡尔积

📚不进🧠

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

🌰子

在这里插入图片描述

2. 二元关系

📚不进🧠

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

🌰子

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

3. 关系的运算

📚不进🧠

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

🌰子

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

4. 关系的性质

📚不进🧠

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

🌰子

在这里插入图片描述

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

5. 关系的闭包

📚不进🧠

在这里插入图片描述

🌰子

在这里插入图片描述

6. 等价关系和划分

📚不进🧠

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

🌰子

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

在这里插入图片描述

🤡 自求多福
在这里插入图片描述

7. 偏序关系

📚不进🧠

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

🤡 爱学就学

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

🌰子

在这里插入图片描述

七、图论

1. 图的基本概念

📚不进🧠

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

🤡 爱学不学
在这里插入图片描述

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

🌰子

在这里插入图片描述

🤡 爱学不学
在这里插入图片描述

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

2. 通路和回路

📚不进🧠

在这里插入图片描述

3. 图的连通性

📚不进🧠

在这里插入图片描述

🌰子

在这里插入图片描述

4. 图的矩阵表示

📚不进🧠

邻接矩阵
在这里插入图片描述

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

🤡爱学不学
在这里插入图片描述

🤡 爱学不学
在这里插入图片描述
🤡 爱学不学
在这里插入图片描述

🌰子

🤡 爱学不学
在这里插入图片描述

🤡 爱学不学
在这里插入图片描述

在这里插入图片描述

5. 欧拉图

📚不进🧠

在这里插入图片描述

🌰子

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

6. 哈密顿图

📚不进🧠

在这里插入图片描述

🌰子

在这里插入图片描述

7. 最短路问题

📚不进🧠

在这里插入图片描述

🌰子

在这里插入图片描述

八、树

1. 无向树及其性质

📚不进🧠

在这里插入图片描述

🌰子

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

在这里插入图片描述

2. 最小生成树

📚不进🧠

在这里插入图片描述

🌰子

在这里插入图片描述

3. 根数及其应用

📚不进🧠

在这里插入图片描述

🤡 爱学不学
在这里插入图片描述

🌰子

在这里插入图片描述
🤡 爱学不学
在这里插入图片描述

九、平面图

1. 平面图的基本概念

📚不进🧠

在这里插入图片描述

在这里插入图片描述

🌰子

在这里插入图片描述

2. 四色猜想

任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。

3. 欧拉公式（🤡 爱学不学）

📚不进🧠

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

🌰子

在这里插入图片描述

兑生
关注
专栏目录
十分钟学习泊松分布
小楼吹彻玉笙寒
01-26 1万+
@Date: 25-Jan-2018 @Email: zengsw_study@qq.com @Filename: 十分钟学习泊松分布.md @Last modified time: 26-Jan-2018 @Copyright: ©2017 EndlessLethe. All rights reserved. --> 这里是我的个人网站： https://endlessl
记一个普通acmer的成长史 by_Hile
WHile——World of Hile
04-18 460
前言 2019.8.3的下午，产生了记录自己acm生涯的想法，于是便付诸行动，从现在开始会不定期写博客，并打算一直坚持下去。 2019.8.3-周六 划了一天水，没有学习的欲望，多校第3、4场一道题都没补，一上午把星尘斗士 ...
离散数学速成课笔记总结
12-09
离散数学速成课笔记总结
离散数学速成
2401_83524644的博客
06-17 342
所以 m000 V m010 V m011 V m110 V m111 真赋值。M001 ^ M101 假赋值。
离散数学概论
最新发布
weidl001的博客
08-16 949
运算定义记法说明并集A 或 B 中的所有元素A ∪ B交集A 和 B 中共同的元素A ∩ B差集A 中有而 B 中没有的元素A - B补集不属于 A 的所有元素A'若 U={1,2,3,4}, A={1,2}, A'={3,4}逻辑操作记法说明示例否定¬PP 为真，则 ¬P 为假，反之亦然P: 今天下雨 → ¬P: 今天不下雨合取P ∧ QP 和 Q 均为真时，P ∧ Q 为真P: 下雨，Q: 带伞 → P ∧ Q: 下雨并带伞析取P ∨ Q。
离散数据：析取范式与合取范式
tanjie_123的专栏
01-09 1万+
一、前言 析取范式和合取范式是命题逻辑等值演算中的重要内容，其目的是为了标准化命题公式。下面我将给出析取范式和合取范式的计算步骤。又由于析取范式和合取范式的形式不唯一，为了便于比较命题公式之间的关系，因此衍生出了主析取范式和主合取范式。所以，也将给出主析取范式和主合取范式的求解方法。 二、范式存在定理 范式存在定理：任一命题公式都存在与之等值的析取范式和合取范式。 求解给定公式范式的步骤：...
《离散数学》速成-练习题答案（含题目）
热门推荐
aiqq136的博客
05-12 4万+
《离散数学》速成https://blog.csdn.net/aiqq136/article/details/113445181 课时1 课时2 课时3 课时4 课时5 课时6 课时7 课时8 课时9 课时10 课时11 课时12 课时13 课时14
【离散数学】命题逻辑 带你快速学完离散数学
qq_53089087的博客
12-11 1175
逻辑与证明 1.1命题逻辑 命题 定义1：一个命题就是一条陈述句。 ​ 要么针、要么假，不能既真又假。 定义2：命题的真假叫做命题的真值。 ​ 只有两种真值：真、假。 注意：在判断陈述句真假时，需要明确其所在的场景。 原子命题：其真假独立于其他命题的最小命题。 一般用小写字母表示。 复合命题：已有命题用逻辑运算符组合成的新命题。 逻辑运算符：用于组合命题的符号 基本的逻辑运算符包含： 否定 合取 析取 蕴涵 双蕴涵 亦或 ¬ ∧ ∨ → ⇿ ⊕ 否命题：非 合取命题：
一日速成傅立叶变换基础
"一天征服FFT（Mastering The Fourier Transform in One Day）" 傅立叶变换是一种在信号处理、图像分析、通信工程等领域广泛应用的数学工具，它能够将时域信号转换到频域，揭示信号的频率成分。快速傅立叶变换（FFT...
一日速成：浅谈傅里叶变换基础与实战应用
"一天征服傅里叶变换" 是一个针对信号处理初学者设计的在线课程，旨在教授傅里叶变换的基本概念和应用，承诺在六节课程内通过非传统方法帮助学员掌握这一关键理论。尽管标题看似夸大，但课程理解到学习傅立叶变换的...
编程，C语言，代码，黑客，软件，JAVA，DW，软件设计等等，怎么循序渐进学习？
m0_59595915的博客
11-27 911
目录 1. 编程 2.代码 3. 软件 4.C语言，JAVA 5.黑客 6. DW 7.总结 有同学在评论区里问我技术方向和发展前景的问题，虽然认真回答了一下，但我的专业毕竟不是那个方向的，只能说了解，远远到不了指导他人的程度。如果是在大学里，最优的解决方案还是找学院里的老师谈，直接找一些管教务的行政老师，或者带你专业课的副教授、教授。大学都在提“职业生涯规划”，你主动去询问，他们不会拒绝你的。 其实不是的，是有本质区别的。学校教的东西虽然旧（比如还有学校在用谭浩强的C语言教材），数据结构
高数叔《离散数学》速成课配套讲义.pdf
03-24
高数叔《离散数学》速成课配套讲义
离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件
03-07
离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件离散数学课件
离散数学.pdf
06-29
第一编 数理逻辑 第二编 集合论
离散数学
ao_mike的博客
02-19 1081
第一讲 离散数学概述 数理逻辑简介 数理逻辑是用数学方法来研究逻辑的学科。它是逻辑学的分支，也是数学的分支，因此数理逻辑又称为符号逻辑。 广义上，数理逻辑包括证明论，模型论，递归函数论，公理化集合论等。 我们课主讲“命题逻辑”和“谓词逻辑” 第二讲 命题逻辑知识的准备 第三讲 命题及其表示 ...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值