1. 合式公式• 我们会逐渐进入命题逻辑的形式讨论：我们对命题只注意其命题形式，对联结词只注意其逻辑意义。• 命题逻辑合式公式的定义给出了命题逻辑研究的对象范围。所有符合定义的合式公式构成合式公式空间，它可被视为命题逻辑的符号化语言。语言的结构包括符号表、语法规则（即合适公式定义）和语义（也即真值）。• 定义：符号化语言 Lp 的符号表包括 − 小写英文字母：p, q, r, … 称为命
转载
2023-07-20 12:20:39
130阅读
命题逻辑0010011011011010001001101111 的自然语言 充分条件: 如 则 , 只要 就 . 必要条件: 仅当 , 只有 才 , 除非 才 , 除非 否则 .永真公式(重言); 永假公式(矛盾); 可满足公式.联结词完备集: ; ; .析取式(子句): 有限个变元的析取. 合取式(短语): 有限个变元的合取. 析取范式: 有限个短语的析取. 合取范式: 有限个子句
最近在复习离散数学，这篇文章是《离散数学及其应用》第六版中第三章 算法、整数、和矩阵中涉及到的几个算法，我想了一下，光看看也起不到什么作用，于是自己动手写了一下，下面的代码都是我自己按照书上的伪代码写出来的，初步验证没什么问题，如果有什么问题就请告知我一下，谢谢！ 一、十进制到任意进制数据转换 根据进制转换规则：十进制到n进制整数部分除n取余向
转载
2023-08-13 23:48:47
139阅读
指定长度路径数Time Limit: 1000 ms Memory Limit: 65536 KiB
Submit Statistic
Problem Description题目给出一个有n个节点的有向图，求该有向图中长度为k的路径条数。方便起见，节点编号为1,2,…,n，用邻接矩阵表示该有向图。该有向图的节点数不少于2并且不超过500. &nbs
转载
2023-07-12 22:48:40
96阅读
# 如何在Java中实现离散数学
离散数学是计算机科学的基础，对于我们开发者来说，理解离散数学的概念可以帮助我们更好地设计和实现算法。本篇文章将指导一位刚入行的小白，如何在Java中实现离散数学的基本概念。
## 实现流程
在Java中实现离散数学的过程可以分为几个主要步骤。以下是一个概述的流程表：
| 步骤 | 描述 |
|------|---
Markov’s inequality 设$X$为非负随机变量，则$\forall\lambda>0,\Pr[X\ge\lambda]\le\frac{\mathrm E[x]}{\lambda}$。 Chebyshev’s inequality 设$X$为随机变量，则$\forall\lambda ...
转载
2021-11-03 23:36:00
178阅读
2评论
n个顶点的有向完全图中，每个顶点都向其他n-1个顶点发出一条弧，因此总的有向边的数目为n(n-1)。 ...
转载
2021-10-26 21:25:00
253阅读
2评论
原创
2021-12-25 18:18:53
391阅读
自反性：（都自指）所有的点自己指向自己【<a,a><b,b>】；反自反性：（都不自指）所有的点都绝不自己指向自己；对称性：但凡指，定互指【<a,b>,<b,a>】；反对称性：但凡指，定单指；传递性：间接指向，定直指【<a,b><b,c><a,c>】； 【平面图 】*|欧拉公式：1个联通分支：顶点数 - 边
原创
2022-11-25 09:57:43
594阅读
一、集合论
例子：http://www.gzu521.com/campus/article/servant/200806/170564.htm
二、等价关系
定义1 设R为非空集合A上的二元关系。如果R是自反的、对称的和可传递的,则称R为A上的等价关系。
定义2 设R为非空集合A上的等价关系, x∈A,令 [ x ]R={ y | y &
原创
2010-08-24 18:30:25
729阅读
命题：称能判断真假的陈述句为命题。命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。命题的赋值：设A为一命题公式，p ,p ,…,p 为出现在A中的所有命题变项。给p ,p ,…,p 指定一组真值，称为对A的一个赋值或解释。若指定的一组值使A的值为真，则称成真赋值。真值表：含n（n≥1）个命题变项的命题公式，共有2^n组赋值
转载
2024-05-20 16:14:03
49阅读
## Java离散数学绘图
离散数学是计算机科学中的一个重要分支，它主要研究离散结构和离散对象，为计算机科学提供了基础理论和方法。绘图是离散数学中的一个重要应用领域，它可以用来可视化数据、分析模式和展示结果。在本文中，我们将介绍如何使用Java进行离散数学绘图，并提供一些代码示例。
### 绘制旅行图
旅行图是一种常用的图形，用于表示旅行过程中的路径和节点。在离散数学中，旅行图可以用来解决旅
原创
2023-08-31 14:40:58
110阅读
离散数学索引 电子科技大学课程： 【计算机专业基础课】离散数学（电子科技大学）_哔哩哔哩_bilibili 电子科技大学课件： 链接：https://pan.baidu.com/s/1ENv-zSNRJRoUXaPr01id5A 提取码：erge 一.集合论基础 1.1.1 集合的初见 1.2.1 ...
转载
2021-09-14 21:12:00
494阅读
2评论
这里是离散数学图论的学习笔记，然而由于学校的关系跳过了集合论、序偶、二元关系等一些可能运用到的基础知识，所以可能数学符号和表述方面会有一些问题 qaq \[ \newcommand{\lvert}{\left\vert} \newcommand{\rvert}{\right\vert} \rule{ ...
转载
2021-10-20 14:53:00
348阅读
2评论
1.基本概念及其相关运用2.生成树3.有向树4.最优树5.前缀码
1. 否定连结词p┐pTFFT2. 合取连结词表示方法一：pqq^qTTTTFFFTFFFF表示方法二：pqq^q1111000100002. 变成符号化【提示】：以下两个命题符号化的结果是不同的。1)4是偶数...
原创
2021-07-16 17:26:13
191阅读
1. 否定连结词p┐pTFFT2. 合取连结词表示方法一：pqq^qTTTTFFFTFFFF表示方法二：pqq^q1111000100002. 变成符号化【提示】：以下两个命题符号化的结果是不同的。1)4是偶数...
原创
2022-03-27 11:05:04
176阅读
第二章 命题逻辑1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假；2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积；3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反；4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假；5.求范式时，为保证编码不错，命题变元最好按P,Q,R的
转载
2023-10-10 20:21:47
154阅读
连通 距离 直径 离心率 eccentricity diameter https://zh.wikipedia.org/wiki/图论术语 如何学习数据结构？ - 知乎 https://www.zhihu.com/question/21318658/answer/63652147 数据结构的本质就在
转载
2017-04-16 09:36:00
300阅读
2评论
离散数学
原创
2023-01-25 21:04:53
297阅读
