离散数学

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第29天，点击查看活动详情 今天我们学习将命题符号化，对于一些复杂命题 要能区分开，任意和存在。 用0元谓词将命题符号化 要求：先将

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第18天，点击查看活动详情 在进行等值演算的学习前，我们先了解等值的定义。 基本等值式 等值演算与置换规则 等值演算: 由已知的等值

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第17天，点击查看活动详情 一、命题与真值 （1）什么是命题？ 命题是表达判断的陈述句。 一个判断只有两种可能：正确的判断或者错误的

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第13天，点击查看活动详情 关系的基本运算定义 定义域、值域 和 域 ··· 例1 R={<1,2>,<1,3>,<2,4>,<4,

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第8天，点击查看活动详情 一、笛卡儿积 在学习前我们先了解第一元素和第二元素的概念，由两个元素x和y（允许x=y）按一定的顺序排列成

开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第6天，点击查看活动详情 今天这篇文章，我们学习离散数学中关于图的基本概念。 首先我们先对图有个基本的了解，无向图和有向图统称为图，

持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第23天，点击查看活动详情 一阶逻辑等值 什么是一阶逻辑等值？ 设A，B是一阶逻辑中任意两个公式，若A<——>B是永真式，则称A与

持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第17天，点击查看活动详情 什么是原子公式？ 原子公式是项 在数理逻辑中， 原子公式或原子是没有子公式的公式。把什么公式当作原子依

持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第10天，点击查看活动详情 什么是一阶逻辑？ 在了解一阶逻辑之前，先学习三个新的概念，即量词，个体词，谓词。 首先个体词，个体词是

持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第9天，点击查看活动详情 什么是命题？ 在离散数学中，把能够判断真假的陈述句称为命题，这种陈述句的判断只有两种可能，一种是正确的判