一.用逻辑符号表达下列语句（论域为包含一切事物的合集）1.确诊者并不都有症状（注：需给出两种形式表达，一种用存在量词，一种用全称量词）2.有些老人不喜欢宠物1.过平面上的两个点，有且仅有一条直线通过2.并不是所有的士兵都想当将军，而且不想当将军的士兵未必不是好士兵（一种形式，包含全称量词和存在量词）1.集合A的任一元素的元素都是A的元素2.天下没有长相完全一样的两个人（要求写出两种形式，一种用全称
命题逻辑的推理理论推理的基本概念：设Ｇ，Ｈ是公式，对任意解释Ｉ，如果Ｉ满足Ｇ，那么Ｉ满足Ｈ，则称Ｈ是Ｇ的逻辑结
原创
2023-02-27 09:41:53
967阅读
《离散数学》是计算机专业的一门十分重要的专业基础课。离散数学作为有力的数学工具对计算机的发展、计算机研究起着重大的作用。目前，计算机科学中普通采用离散数学中的一些基本概念、基本思想和基本方法。通过本课程的学习，掌握数理逻辑、集合论、代数和图论等
原创
2023-06-03 16:47:39
2553阅读
最近在复习离散数学，这篇文章是《离散数学及其应用》第六版中第三章 算法、整数、和矩阵中涉及到的几个算法，我想了一下，光看看也起不到什么作用，于是自己动手写了一下，下面的代码都是我自己按照书上的伪代码写出来的，初步验证没什么问题，如果有什么问题就请告知我一下，谢谢！ 一、十进制到任意进制数据转换 根据进制转换规则：十进制到n进制整数部分除n取余向
转载
2023-08-13 23:48:47
139阅读
在这篇博文中，我将详细阐述如何使用Python解决离散数学中的排列组合逻辑问题。作为信息技术专业人员，我们常常需要将数学理论应用到实际问题中，特别是在算法设计和优化上。
### 版本对比
在不同的Python版本中，排列组合的实现方式有所差异。
**特性差异**
- Python 3.6：引入了`frozen set`支持，提升了组合生成的效率。
- Python 3.8：新增了`math.
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阅读
命题：称能判断真假的陈述句为命题。命题公式：若在复合命题中，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阅读
1. 命题逻辑命题逻辑研究以命题为基本单位构成的前提和结论之间的可推导关系。我们将讨论命题逻辑的基本概念，以及基于命题的真值解释实行演绎的等值演算和自然推理演算。1.1 命题的概念− 一个命题是一个非真即假的陈述句。» 命题具有真假值，并且非真即假» 陈述句限定源于命题的推断属性» 或然性的排除» 命题的真假判定问题：真假的常识性影响；真假的时间性影响。判定方法的存在性。1.2 定义：简单命题（原
转载
2017-08-02 13:28:00
396阅读
2评论
本文系统梳理了命题逻辑的核心概念与公式体系。主要内容包括：（1）命题的定义与分类，强调命题需为可判断真假的陈述句；（2）五种基本逻辑联结词（非、且、或、蕴含、等价）的形象化理解与真值规则；（3）24条关键等值公式的记忆方法和应用场景，重点介绍德摩根律、分配律、蕴含等值式等核心定律；（4）全功能联结词的概念，说明如何用最少的逻辑运算符表达所有公式；（5）对偶原理的"镜面反射"特性。文章通过生动的比喻和实例分析，帮助读者建立命题逻辑的认知框架，掌握公式化简和推理验证的方法论，并揭示数学理论与
1. 合式公式• 我们会逐渐进入命题逻辑的形式讨论：我们对命题只注意其命题形式，对联结词只注意其逻辑意义。• 命题逻辑合式公式的定义给出了命题逻辑研究的对象范围。所有符合定义的合式公式构成合式公式空间，它可被视为命题逻辑的符号化语言。语言的结构包括符号表、语法规则（即合适公式定义）和语义（也即真值）。• 定义：符号化语言 Lp 的符号表包括 − 小写英文字母：p, q, r, … 称为命
转载
2023-07-20 12:20:39
130阅读
# 离散数学推理与Python代码
离散数学是计算机科学的基础之一，涵盖了许多重要的主题，例如逻辑、集和函数、关系、图论等。在这篇文章中，我们将探讨离散数学中推理的基本概念，并通过Python代码示例来加深理解。
## 什么是离散数学推理？
离散数学推理通常涉及对命题的分析和论证。我们使用符号语言来表示逻辑结构，例如命题、命题逻辑、谓词逻辑等。推理的目的是从已知前提中推导出结论。
###
原创
2024-10-23 05:17:45
98阅读
实现对代数系统的结合性、是否可分配、同构三个方面的判定 由于代码中的注释已经非常详尽，就不再赘述// 声明：程序实现的前提是，该代数系统的运算结果是封闭的
#include <iostream>
#include <vector>
using namespace std;
// 定义运算表
char Otable1[27][27]; // 定义第一个运算表
char O
转载
2023-12-14 15:03:54
38阅读
Discrete Mathematics命题逻辑数理逻辑的规则指定了如何判断一个数学语句的正确性. 古希腊哲学家,亚里士多德是数理逻辑的先驱. 数理逻辑为数学和计算机科学的许多领域提供了理论的基础. 它在计算机科学领域中也有着许多实际的应用,如计算器,人工智能,编程语言中数据结构的定义等等.命题逻辑关注与陈述中的真值,"true"和"false"(下文作真,假). 它的目的是分析这些独立的陈述或复
转载
2024-06-12 22:16:15
100阅读
离散数学索引 电子科技大学课程： 【计算机专业基础课】离散数学（电子科技大学）_哔哩哔哩_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评论
