当前位置： 首页 > news >正文

离散数学重点复习

news 2026/4/2 0:10:25

第一章.集合论

概念

1.集合是不能精确定义的基本数学概念.通常是由指定范围内的满足给定条件的所有对象聚集在一起构成的

2.制定范围内的每一个对象称为这个集合的元素

3.固定符号如下:

N:自然数集合

Z:整数集合

Q:有理数集合

R:实数集合

C:复数集合

4.集合中的元素是唯一确定并可以加以区分的对象,即集合中元素是互异且无序的

定理1.2.1(外延性原理) 两个集合A和B相等,当且仅当它们的元素完全相等,记为A=B,否则A≠B

定理1.2.3 (1)空集是一切集合的子集;(2)空集是绝对唯一的

定义1.2.6 集合A含有n个元素,称集合A为n元集,称A的含有m个(0<=m<=n)元素的子集为他的m元子集

5.n元集共用2^n个不同的子集

定义1.2.7设A为任意集合,把A的不同子集构成的集合称为A的幂集,记为P(A)或2^A

定理 1.2.5 图

题

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

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

在这里插入图片描述

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

第三章.命题逻辑

概念

定义3.2.1 具有确定真值的陈述句称为命题

1.命题一定是通过陈述句来表达的;反之并非一切陈述句都一定是命题

2.(1)原子命题,(简单命题)不能再分解为更简单命题的命题.(2)复合命题:可以分解为更简单命题的命题

3.5个联结词 图
在这里插入图片描述

4.命题联结词优先级如下:

(1).否定->合取->析取->蕴含->等价

(2).同级连接词,从左到右吧

(3)括号内优先

5.(1)连接词 是 两个命题真值的联结,不是命题内容的联结

6.合式公式又称命题公式由如下规则生成:

(1)命题变元本身是一个公式

(2)如果G是公式,非G也是公式

(3)见图

(4)仅通过有限步使用规则(1)(2)(3)所得到的符号串才是命题公式

在这里插入图片描述

定义3.3.3 设P1,P2,P3…Pn,是出现在公式G中的所有命题变元,制定P1,P2,P3…Pn一组真值,则这组真值称为G 的一个解释,常记为I

定义3.3.4 由公式G在其所有可能的解释下所有的真值构成的表

定义3.3.5

永真式.在他的所有解释下真值都为真;

永假公式(矛盾式),所有解释下真值都为假,也称为不可满足公式,

可满足的,如果不是永假;

7."="不是连接词而是一种关系,有如下三个性质:

(1)自反性,G=G.(2)对称性,G=H,H=G.(3).传递性:G=H,H=S,则G=S

8.24个等价关系见图

在这里插入图片描述

定义3.5.1

(1)命题变元或命题变元的否定称为文字

(2)有限个文字的析取称为析取式,也称子句

(3).有限个文字的合取称为合取式,也成短语

(4).p和非P称为互补对

定义3.5.2

(1).有限个短语的析取式称为析取范式

(2).有限个子句的合取式称为合取范式

例子见图:

在这里插入图片描述

在这里插入图片描述

定义3.5.3 极大项和极小项

含有n个命题变元P1,P2,…Pn的短语或子句中,若每个命题变元与其否定不同时存在,但二者之一恰好出现一次当且仅出现一次,并且出现的次序与P1,P2,…Pn一致,则成此短语或子句为关于P1,P2,…Pn的一个极小项或极大项.

例子见图:

在这里插入图片描述

n个命题变元可构成2^n 个极小项和2^n个极大项.

定义3.5.4 主析取范式和主合取范式

(1)在给定的析取范式中,若每一个短语都是极小项,则该范式为主析取范式

(2)在给定的合取范式中,若每一个子句都是极大项,则该范式为主合取范式

(3)如果主析取范式不包含任何极小项,如果主合取范式不包含任何极大项,则该范式为"空"

定理3.5.2 任何一个公式都有与之等价的主析取范式和主合取范式

9.真值表技术

见图

在这里插入图片描述

10.推理定律
在这里插入图片描述

11.证明符号:

"p"表示引入事实库中的事实

"T"表示该公式是前公示推导的逻辑结果

"I"表示使用的基本蕴含关系

"E"表示使用的基本等价关系

序号表示由那几个公式得出的

题

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

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

第四章.谓词逻辑

概念

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

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

题

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

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

第六章.二元关系

概念

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

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

在这里插入图片描述

在这里插入图片描述

题

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

第九章.图

概念

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

题

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

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

相关文章：

离散数学重点复习

第一章.集合论 概念 1.集合是不能精确定义的基本数学概念.通常是由指定范围内的满足给定条件的所有对象聚集在一起构成的 2.制定范围内的每一个对象称为这个集合的元素 3.固定符号如下: N:自然数集合 Z:整数集合 Q:有理数集合 R:实数集合 C:复数集合 4.集合中的元素是…...

编程日记 2024/12/7 2:05:13

Javaweb梳理21——Servlet

Javaweb梳理21——Servlet 21 Servlet21.1 简介21.3 执行流程21.4 生命周期4.5 方法介绍21.6 体系结构21.7 urlPattern配置21.8 XML配置 21 Servlet 21.1 简介 Servlet是JavaWeb最为核心的内容&#xff0c;它是Java提供的一门动态web资源开发技术。使用Servlet就可以实现&…...

编程日记 2024/12/7 2:04:12

推荐学习笔记：矩阵补充和矩阵分解

参考&#xff1a; 召回 fun-rec/docs/ch02/ch2.1/ch2.1.1/mf.md at master datawhalechina/fun-rec GitHub 业务 隐语义模型与矩阵分解 协同过滤算法的特点&#xff1a; 协同过滤算法的特点就是完全没有利用到物品本身或者是用户自身的属性&#xff0c; 仅仅利用了用户与…...

编程日记 2024/12/7 2:03:11

etcd分布式存储系统快速入门指南

在分布式系统的复杂世界中&#xff0c;确保有效的数据管理至关重要。分布式可靠的键值存储在维护跨分布式环境的数据一致性和可伸缩性方面起着关键作用。 在这个全面的教程中&#xff0c;我们将深入研究etcd&#xff0c;这是一个开源的分布式键值存储。我们将探索其基本概念、特…...

编程日记 2024/12/7 2:02:10

解决VUE3 Vite打包后动态图片资源不显示问题

解决VUE3 Vite打包后动态图片资源不显示问题 <script setup> let url ref()const setimg (item)>{let src ../assets/image/${e}.pngurl.value src }</script><template><div v-for"item in 6"><h1 click"setimg(item)"…...

编程日记 2024/12/7 2:01:09

大数据新视界 -- 大数据大厂之 Hive 临时表与视图：灵活数据处理的技巧（上）（29 / 30）

&#x1f496;&#x1f496;&#x1f496;亲爱的朋友们&#xff0c;热烈欢迎你们来到 青云交的博客&#xff01;能与你们在此邂逅&#xff0c;我满心欢喜&#xff0c;深感无比荣幸。在这个瞬息万变的时代&#xff0c;我们每个人都在苦苦追寻一处能让心灵安然栖息的港湾。而 我的…...

编程日记 2024/12/7 1:59:07

Android学习14--charger

1 概述 最近正好在做关机充电这个&#xff0c;就详细看看吧。还是本着保密的原则&#xff0c;项目里的代码也不能直接用&#xff0c;这里就用的Github的。https://github.com/aosp-mirror 具体位置是&#xff1a;https://github.com/aosp-mirror/platform_system_core/tree/mai…...

编程日记 2024/12/7 1:51:00

页面开发样式和布局入门：Vite + Vue 3 + Less

页面开发样式和布局入门&#xff1a;Vite Vue 3 Less 引言 在现代前端开发中&#xff0c;样式和布局是页面开发的核心部分。随着技术的不断发展&#xff0c;Vite、Vue 3和Less等工具和框架的出现&#xff0c;使得前端开发变得更加高效和灵活。然而&#xff0c;尽管这些工具…...

编程日记 2024/12/7 1:46:57

瑞芯微RK3566/RK3568开发板安卓11固件ROOT教程，Purple Pi OH演示

本文介绍RK3566/RK3568开发板Android11系统&#xff0c;编译ROOT权限固件的方法。触觉智能Purple Pi OH鸿蒙开发板演示&#xff0c;搭载了瑞芯微RK3566四核处理器&#xff0c;Laval鸿蒙社区推荐开发板&#xff0c;已适配全新OpenHarmony5.0 Release系统&#xff0c;SDK源码全开…...

编程日记 2024/12/7 1:44:54

Netty 入门应用：结合 Redis 实现服务器通信

在上篇博客中&#xff0c;我们了解了 Netty 的基本概念和架构。本篇文章将带你深入实践&#xff0c;构建一个简单的 Netty 服务端&#xff0c;并结合 Redis 实现一个数据存取的示例。在这个场景中&#xff0c;Redis 作为缓存存储&#xff0c;Netty 作为服务端处理客户端请求。通…...

编程日记 2024/12/7 1:43:53

试题转excel；pdf转excel；试卷转Excel，word试题转excel

一、问题描述 一名教师朋友&#xff0c;偶尔会需要整理一些高质量的题目到excel中 以往都是手动复制搬运&#xff0c;几百道题几乎需要一个下午的时间 关键这些事&#xff0c;枯燥无聊费眼睛&#xff0c;实在是看起来就很蠢的工作 就想着做一个工具&#xff0c;可以自动处理…...

编程日记 2024/12/7 1:40:51

查看网卡设备Bus号

在Linux系统中&#xff0c;通过ip命令能够看到网卡设备的名称&#xff0c;那么怎么看这个网卡设备对应的硬件设备以及Bus号&#xff1f; 例如在下面的虚拟机中能够看到有一个网口名为enp1s0 如何查看这个设备对应的Bus编号&#xff0c;可以在/sys中找到对应的设备 ll /sys/cl…...

编程日记 2024/12/7 1:37:46

鸿蒙Next星河版高级用例之网络请求和自适应布局以及响应式布局

目录&#xff1a; 1、发起网络请求的两种方式第一种使用httpRequest发送http的请求&#xff1a;1.1、在进行网络请求前&#xff0c;您需要在module.json5文件中申明网络访问权限1.2、GET 请求1.3、POST请求1.4、处理响应的结果第二种使用axios发送http的请求&#xff1a;1.1、在…...

编程日记 2024/12/7 1:36:44

鸿蒙技术分享：敲鸿蒙木鱼，积____功德——鸿蒙元服务开发：从入门到放弃(3)...

本文是系列文章&#xff0c;其他文章见&#xff1a;敲鸿蒙木鱼&#xff0c;积____功德&#x1f436;&#x1f436;&#x1f436;——鸿蒙元服务开发&#xff1a;从入门到放弃(1)敲鸿蒙木鱼&#xff0c;积____功德&#x1f436;&#x1f436;&#x1f436;——鸿蒙元服务开发&am…...

编程日记 2024/12/7 1:34:42

Hadoop生态圈框架部署 伪集群版（六）- MySQL安装配置

文章目录 前言一、MySQL安装与配置1. 安装MySQL2. 安装MySQL服务器3. 启动MySQL服务并设置开机自启动4. 修改MySQL初始密码登录5. 设置允许MySQL远程登录6. 登录MySQL 卸载1. 停止MySQL服务2. 卸载MySQL软件包3. 删除MySQL配置文件及数据目录 前言 在本文中&#xff0c;我们将…...

编程日记 2024/12/7 1:33:40

【Docker】创建Docker并部署Web站点

要在服务器上创建Docker容器&#xff0c;并在其中部署站点&#xff0c;你可以按照以下步骤操作。我们将以Flask应用为例来说明如何完成这一过程。 1. 准备工作 确保你的服务器已经安装了Docker。如果没有&#xff0c;请根据官方文档安装&#xff1a; Docker 安装指南 2. 创…...

编程日记 2024/12/7 1:32:39

实验七 用 MATLAB 设计 FIR 数字滤波器

实验目的 加深对窗函数法设计 FIR 数字滤波器的基本原理的理解。 学习用 Matlab 语言的窗函数法编写设计 FIR 数字滤波器的程序。 了解 Matlab 语言有关窗函数法设计 FIR 数字滤波器的常用函数用法。 掌握 FIR 滤波器的快速卷积实现原理。 不同滤波器的设计方法具有不同的优…...

编程日记 2024/12/7 1:31:38

学习ESP32开发板安装鸿蒙操作系统（新板子esp32c3不支持）

鸿蒙LiteOS网址&#xff1a;LiteOS: Huawei LiteOS开源代码官方主仓库.LiteOS Studio 开发工具请访问https://gitee.com/LiteOS/LiteOS_Studio 失败的实践记录见&#xff1a;完全按照手册win10里装Ubuntu 虚拟机然后编译ESP32&#xff08;主要是想针对ESP32C3和S3&#xff09;…...

编程日记 2024/12/7 1:28:35

asp.net core过滤器应用

筛选器类型 授权筛选器 授权过滤器是过滤器管道的第一个被执行的过滤器&#xff0c;用于系统授权。一般不会编写自定义的授权过滤器&#xff0c;而是配置授权策略或编写自定义授权策略。简单举个例子。 using Microsoft.AspNetCore.Authorization; using Microsoft.AspNetCo…...

编程日记 2024/12/7 1:24:32

力扣面试题 31 - 特定深度节点链表 C语言解法

题目&#xff1a; 给定一棵二叉树&#xff0c;设计一个算法&#xff0c;创建含有某一深度上所有节点的链表&#xff08;比如&#xff0c;若一棵树的深度为 D&#xff0c;则会创建出 D 个链表&#xff09;。返回一个包含所有深度的链表的数组。 示例&#xff1a; 输入&#xf…...

编程日记 2024/12/7 1:22:27

从NTLM中继到域控接管：ADCS-ESC8漏洞实战解析

1. ADCS-ESC8漏洞概述 ADCS-ESC8是Active Directory证书服务(AD CS)中的一个高危漏洞&#xff0c;它允许攻击者通过NTLM中继攻击获取域控制器证书。这个漏洞的核心在于ADCS默认配置中的Web证书注册页面仅使用HTTP协议且支持NTLM认证&#xff0c;但未启用任何中继攻击防护措施。…...

编程新知 2026/4/1 20:05:37

别再为PyTorch GPU环境发愁了！手把手教你用Miniconda管理多版本CUDA（GTX1060实测）

深度学习环境配置实战&#xff1a;GTX1060显卡下的PyTorch GPU环境搭建指南 在深度学习领域&#xff0c;环境配置往往是新手面临的第一个挑战。特别是当您手头有一块GTX1060这样的经典显卡时&#xff0c;如何充分发挥其计算潜力&#xff0c;同时避免陷入版本兼容性问题的泥潭&…...

编程新知 2026/4/1 19:33:11

SMR实战：如何将GWAS数据快速转换为BESD格式（附常见错误排查）

SMR实战&#xff1a;GWAS数据高效转换为BESD格式的完整指南与深度排错手册 在生物信息学研究中&#xff0c;基于汇总数据的孟德尔随机化&#xff08;Summary-data-based Mendelian Randomization, SMR&#xff09;已成为探索基因表达数量性状位点&#xff08;eQTL&#xff09;与…...

编程新知 2026/4/1 18:40:33

万象视界灵坛代码实例：使用Gradio快速搭建像素风Web UI，零前端开发经验可用

万象视界灵坛代码实例&#xff1a;使用Gradio快速搭建像素风Web UI&#xff0c;零前端开发经验可用 1. 项目概述 万象视界灵坛是一款基于OpenAI CLIP模型的多模态智能感知平台&#xff0c;它将复杂的语义对齐功能包装在充满游戏感的像素风界面中。这个项目最大的特点是完全不…...

编程新知 2026/4/1 16:57:22

intv_ai_mk11实际作品：面向管理层的OKR撰写建议与周报优化样例

intv_ai_mk11实际作品&#xff1a;面向管理层的OKR撰写建议与周报优化样例 1. 为什么管理者需要AI辅助撰写OKR和周报 在快节奏的商业环境中&#xff0c;管理者常常面临一个共同挑战&#xff1a;如何高效地制定清晰可衡量的目标&#xff08;OKR&#xff09;&#xff0c;同时保…...

编程新知 2026/4/1 16:49:09

NoSleep防休眠工具：系统唤醒与持续运行的高效解决方案

NoSleep防休眠工具&#xff1a;系统唤醒与持续运行的高效解决方案 【免费下载链接】NoSleep Lightweight Windows utility to prevent screen locking 项目地址: https://gitcode.com/gh_mirrors/nos/NoSleep 在数字化工作环境中&#xff0c;电脑意外休眠往往导致工作中…...

编程新知 2026/4/1 16:28:45

【Typst源文件】Typst 标题层级与样式定制

1. 标题层级&#xff1a;等号 的使用 Typst 使用等号 来定义标题&#xff0c;等号的数量决定标题层级。理论上没有层级限制&#xff0c;可以根据文档结构无限嵌套。一级标题二级标题三级标题四级标题五级标题六级标题七级标题八级标题使用示例IntroductionBackgroundPrevious…...

编程新知 2026/4/1 15:56:30

Win11更新后Wifi图标消失？别急着重装系统，先试试这个官方驱动修复法

Win11更新后Wifi图标消失&#xff1f;三步精准定位官方驱动修复方案 刚更新完Windows 11系统&#xff0c;正准备继续手头的工作&#xff0c;突然发现任务栏右下角的Wifi图标不翼而飞。尝试重启电脑、重置网络设置&#xff0c;甚至检查了各种服务状态&#xff0c;问题依旧存在。…...

编程新知 2026/4/1 15:48:27

Llama-3.2V-11B-cot开源大模型案例：科研论文插图数据真实性初筛

Llama-3.2V-11B-cot开源大模型案例&#xff1a;科研论文插图数据真实性初筛 1. 项目背景与价值 科研论文插图的真实性核查是学术出版领域的重要环节。传统人工检查方式存在效率低、主观性强等问题。Llama-3.2V-11B-cot多模态大模型为解决这一问题提供了创新方案。 这款基于M…...

编程新知 2026/4/1 12:04:07

Shadow Sound Hunter模型部署：Windows 11环境配置指南

Shadow & Sound Hunter模型部署&#xff1a;Windows 11环境配置指南 本文详细介绍了在Windows 11系统上部署Shadow & Sound Hunter模型的完整流程&#xff0c;包括系统要求、依赖安装、环境配置等关键步骤&#xff0c;帮助Windows用户快速上手。 1. 环境准备与系统要求…...

编程新知 2026/4/1 11:17:36