命题：称能判断真假的陈述句为命题。命题公式：若在复合命题中，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阅读
最近在复习离散数学，这篇文章是《离散数学及其应用》第六版中第三章 算法、整数、和矩阵中涉及到的几个算法，我想了一下，光看看也起不到什么作用，于是自己动手写了一下，下面的代码都是我自己按照书上的伪代码写出来的，初步验证没什么问题，如果有什么问题就请告知我一下，谢谢！ 一、十进制到任意进制数据转换 根据进制转换规则：十进制到n进制整数部分除n取余向
转载
2023-08-13 23:48:47
139阅读
# 离散数学与Python：探索基础概念与代码应用
离散数学是计算机科学的重要基础，涵盖了诸如集合论、图论、逻辑、组合数学等多个方面。随着Python编程语言的普及，越来越多的人开始使用它来解决离散数学中的问题。本文将介绍离散数学的基本概念，并通过Python代码示例来演示其在实际应用中的重要性。
## 一、离散数学的基本概念
离散数学研究的对象通常是离散的结构，例如整数、图形、算法等。这些
原创
2024-08-21 07:47:02
145阅读
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评论
指定长度路径数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阅读
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阅读
最近要复习离散数学，不想挂啊，但是又想编程，大家知道啦，程序员离不开代码啊，所用想边复习边写代码，所以就自己用代码去实现一下离散的知识点，当做复习，自知自己的Python很渣，也想借此巩固一下基础，哈哈，事不宜迟，开始吧！ 1.集合 概念：集合是由指定范围内的某些特定对象聚集在一起构成的，元素就是集合中的每一个对象 怎么用python实现集合呢，这个我自定义了一个类，这个类中有一个构造方
转载
2023-07-05 21:04:54
140阅读
一.用逻辑符号表达下列语句（论域为包含一切事物的合集）1.确诊者并不都有症状（注：需给出两种形式表达，一种用存在量词，一种用全称量词）2.有些老人不喜欢宠物1.过平面上的两个点，有且仅有一条直线通过2.并不是所有的士兵都想当将军，而且不想当将军的士兵未必不是好士兵（一种形式，包含全称量词和存在量词）1.集合A的任一元素的元素都是A的元素2.天下没有长相完全一样的两个人（要求写出两种形式，一种用全称
1. 合式公式• 我们会逐渐进入命题逻辑的形式讨论：我们对命题只注意其命题形式，对联结词只注意其逻辑意义。• 命题逻辑合式公式的定义给出了命题逻辑研究的对象范围。所有符合定义的合式公式构成合式公式空间，它可被视为命题逻辑的符号化语言。语言的结构包括符号表、语法规则（即合适公式定义）和语义（也即真值）。• 定义：符号化语言 Lp 的符号表包括 − 小写英文字母：p, q, r, … 称为命
转载
2023-07-20 12:20:39
130阅读
在这篇博文中，我将详细阐述如何使用Python解决离散数学中的排列组合逻辑问题。作为信息技术专业人员，我们常常需要将数学理论应用到实际问题中，特别是在算法设计和优化上。
### 版本对比
在不同的Python版本中，排列组合的实现方式有所差异。
**特性差异**
- Python 3.6：引入了`frozen set`支持，提升了组合生成的效率。
- Python 3.8：新增了`math.
命题逻辑0010011011011010001001101111 的自然语言 充分条件: 如 则 , 只要 就 . 必要条件: 仅当 , 只有 才 , 除非 才 , 除非 否则 .永真公式(重言); 永假公式(矛盾); 可满足公式.联结词完备集: ; ; .析取式(子句): 有限个变元的析取. 合取式(短语): 有限个变元的合取. 析取范式: 有限个短语的析取. 合取范式: 有限个子句
一个离散数学的实验：已知一个无向图，求出这个无向图的割边/桥，所有的边割集。这是初始的定义和头文件#include <stdio.h>
#include <string.h>
#include<malloc.h>
#define INFINITY 100
#define MAX_VERTEX_NUM 20
typedef int Status;
typ
离散数学索引 电子科技大学课程： 【计算机专业基础课】离散数学（电子科技大学）_哔哩哔哩_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
345阅读
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阅读
