【笔记】离散数学 1-3 章

1. 数理逻辑

1.1 命题逻辑的基本概念

1.1.1 命题的概念

命题(Proposition):是一个陈述句,它要么是真的(true),要么是假的(false),但不能同时为真和假。例如,“北京是中国的首都”是一个真命题;“2+2=5”是一个假命题。

注意:感叹句、祈使句、疑问句都不是命题;陈述句中的悖论,判断结果不惟一确定的不是命题。

在这里插入图片描述

简单命题与复合命题

  • 简单命题(原子命题):一个不能被进一步分解为更简单的命题的陈述句。例如,“北京是中国的首都”就是一个简单命题。
  • 复合命题:由两个或多个简单命题通过逻辑联结词组合而成的命题。例如,“北京是中国的首都并且上海是中国最大的城市”就是由两个简单命题通过“并且”这个联结词组合成的复合命题。

1.1.2 否定、析取、合取连结词

联结词

(Connectives):是用来组合一个或多个命题以形成新的命题的逻辑运算符。常见的联结词包括:

  • 否定(Negation),通常表示为 ¬ 或 ~
  • 合取(Conjunction),通常表示为 ∧ 或 &
  • 析取(Disjunction),通常表示为 ∨ 或 |
  • 条件(Conditional),通常表示为 → 或 =>
  • 双条件(Biconditional),通常表示为 ↔ 或 <=>
    在这里插入图片描述

例题2:

将下列命题符号化:

(1) 吴颖既用功又聪明. (2) 吴颖不仅用功而且聪明. (3) 吴颖虽然聪明,但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学.

解:

定义基本的原子命题:

  • P:吴颖用功。
  • Q:吴颖聪明。
  • R:张辉是三好生。
  • S:王丽是三好生。
  • T:张辉与王丽是同学。

每个命题符号化如下:

(1)吴颖既用功又聪明。
符号化:P∧Q
这里使用了合取联结词 ∧(and)来表示“既…又…”。

(2)吴颖不仅用功而且聪明。
符号化:P∧Q
尽管表述方式不同,但逻辑上与第(1)题相同,都是表示吴颖同时具有用功和聪明这两个属性。

(3)吴颖虽然聪明,但不用功。
符号化:Q∧¬P使用了合取联结词 ∧ 和否定 ¬ 来表示“虽然…但是…”。这里表示吴颖聪明(Q),并且不是用功的(¬P)。

(4)张辉与王丽都是三好生。
符号化:R∧S
使用了合取联结词 ∧ 来表示两个人都满足某个条件,即张辉是三好生(R)且王丽也是三好生(S)。

(5)张辉与王丽是同学。
符号化:T
这是一个简单的原子命题,直接用 T 表示张辉与王丽是同学这一事实。

例题3:

将下列命题符号化:(1) 2 或 4 是素数.(2) 2 或 3 是素数.(3) 4 或 6 是素数.(4) 小元元只能拿一个苹果或一个梨.(5) 王小红生于 1975 年或 1976 年.

(1) 令 p: 2 是素数, q: 4 是素数, p ∨ q

(2) 令 p: 2 是素数, q: 3 是素数, p ∨ q

(3) 令 p: 4 是素数, q: 6 是素数, p ∨ q

(4) 令 p: 小元元拿一个苹果, q: 小元元拿一个梨,

(p ∧ ¬q) ∨ (¬p ∧ q)

(5) p: 王小红生于 1975 年, q: 王小红生于 1976 年,

(p ∧ ¬q) ∨ (¬p ∧ q) 或 p ∨ q

(1) — (3) 为相容或:表示两个条件中至少一个为真,但也可以同时为真。

(4) — (5) 为排斥或:表示两个条件中恰好有一个为真,不能同时为真也不能同时为假。

符号化时 (5) 可有两种形式,而 (4) 则不能

(4) 小元元只能拿一个苹果或一个梨
解释:这是一个典型的排斥或(exclusive or)的情况。小元元要么拿一个苹果,要么拿一个梨,但不能同时拿两者,也不能什么都不拿。

(5) 王小红生于 1975 年或 1976 年
解释:这里存在两种可能的解释:
相容或:王小红可能生于 1975 年,或者生于 1976 年,或者两个年份都可以(虽然实际上一个人不可能同时出生于两个年份)。
排斥或:王小红必须且只能生于 1975 年或 1976 年中的一个年份,不能同时出生在两个年份,也不能都不在这两个年份出生。

1.1.3 蕴含联结词

p p p q q q 为两个命题,复合命题“如果 p p p,则 $q $”称作 $ $ 与 q q q蕴涵式,记作 p → q p\rightarrow q pq,并称 p p p 是蕴涵式的前件, q q q 为蕴涵式的后件, → \rightarrow 称作蕴涵联结词。规定: p p p → \rightarrow q q q 为假当且仅当 p p p 为真而 q q q 为假
在这里插入图片描述

例题4:

  1. 只要天冷,小王就穿羽绒服。
    ◦ 符号化:𝑝→𝑞
    ◦ 解释:这里的“只要…就…”结构暗示了一个条件语句,即如果前提条件𝑝(天冷)满足,那么结论𝑞(小王穿羽绒服)必然发生。这是标准的蕴含关系,用逻辑符号表示就是𝑝→𝑞。

  2. 因为天冷,所以小王穿羽绒服。
    ◦ 符号化:𝑝→𝑞
    ◦ 解释:“因为…所以…”同样表达了因果关系,即𝑝(天冷)是𝑞(小王穿羽绒服)发生的充分条件。这也是一种蕴含关系,符号化为𝑝→𝑞。

  3. 若小王不穿羽绒服,则天不冷。
    ◦ 符号化:¬𝑞→¬𝑝
    ◦ 解释:这句话的意思是如果观察到𝑞
    (小王穿羽绒服)的否定情况,即小王没穿羽绒服,那么可以推断出𝑝(天冷)的否定情况,即天不冷。这是一种反向的蕴含关系,符号化为¬𝑞→¬𝑝。

  4. 只有天冷,小王才穿羽绒服。
    ◦ 符号化:𝑞→𝑝
    ◦ 解释:“只有…才…”强调了必要条件,即要使𝑞(小王穿羽绒服)成为现实,𝑝(天冷)是必不可少的。换句话说,如果没有𝑝,就没有𝑞。这可以通过𝑞→𝑝来表示。

  5. 除非天冷,小王才穿羽绒服。
    ◦ 符号化:𝑞→𝑝
    ◦ 解释:“除非…才…”与“只有…才…”类似,都在说明𝑝(天冷)是𝑞(小王穿羽绒服)的必要条件。因此,符号化仍然是𝑞→𝑝。

  6. 除非小王穿羽绒服,否则天不冷。
    ◦ 符号化:¬𝑞→¬𝑝
    ◦ 解释:这句话的意思是如果小王不穿羽绒服(¬𝑞),那么我们可以得出天不冷(¬𝑝)的结论。这也是一个反向的蕴含关系,符号化为¬𝑞→¬𝑝。

  7. 如果天不冷,则小王不穿羽绒服。
    ◦ 符号化:¬𝑝→¬𝑞
    ◦ 解释:这句话直接给出了一个条件语句,即如果前提条件¬𝑝
    (天不冷)满足,那么结论¬𝑞(小王不穿羽绒服)必然发生。这是另一种形式的蕴含关系,符号化为¬𝑝→¬𝑞。

  8. 小王穿羽绒服仅当天冷的时候。
    ◦ 符号化:𝑞→𝑝
    ◦ 解释:“仅当…时候…”再次强调了必要条件,即𝑝(天冷)是𝑞
    (小王穿羽绒服)发生的唯一条件。因此,符号化为𝑞→𝑝。

1.1.4 等价联结词

p, q 为两个命题,复合命题 “p 当且仅当 q” 称作 pq 的等价式,记作 pq,↔ 称作等价联结词。规定 pq 为真当且仅当 pq 同时为真或同时为假

pq 的逻辑关系:pq 互为充分必要条件。这意味着如果 p 为真,则 q 也为真;如果 q 为真,则 p 也为真。同样,如果 p 为假,则 q 也为假;如果 q 为假,则 p 也为假。这种关系在逻辑上是对称的,表明两个命题在逻辑上是等价的。

例题:
在这里插入图片描述

解:

(1) 2+2=4 当且仅当 3+3=6。

• 𝑝: 2+2=4 是真的。
• 𝑞: 3+3=6 也是真的。
• 因为 𝑝和 𝑞 都是真的,所以 𝑝↔𝑞是真的。

(2) 2+2=4当且仅当 3 是偶数。
• 𝑝: 2+2=4 是真的。
• 𝑞: 3 是偶数,这是假的,因为3是奇数。
• 因为 𝑝 为真而 𝑞 为假,所以 𝑝↔𝑞 是假的。
(3) 2+2=4 当且仅当太阳从东方升起。
• 𝑝: 2+2=4 是真的。
• 𝑞: 太阳从东方升起,这是一个自然规律,是真的。
• 因为 𝑝和 𝑞 都是真的,所以 𝑝↔𝑞 是真的。
(4) 2+2=4 当且仅当美国位于非洲。
• 𝑝: 2+2=4 是真的。
• 𝑞: 美国位于非洲,这是假的,因为美国位于北美洲。
• 因为 𝑝 为真而 𝑞 为假,所以 𝑝↔𝑞 是假的。
(5) 函数 𝑓(𝑥) 在 𝑥0 可导的充要条件是它在 𝑥0 连续。
• 这是一个数学定理,如果一个函数在某个点可导,那么它在该点必然连续。但是,一个函数在某个点连续,并不一定意味着它在该点可导。例如,绝对值函数在0点连续但不可导。
• 因此,这个命题是假的,因为可导性是连续性的一个更强的条件,而不是充要条件。

1.2 命题公式及其赋值

1.2.1 合式公式

在这里插入图片描述

几点说明:归纳或递归定义, 元语言与对象语言, 外层括号可以省去

1.2.2 合式公式的层次

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

1.2.3 公式赋值

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

1.2.4 真值表

将命题公式A在所有赋值下取值的情况列成表, 称作A的真值表.

构造真值表的步骤:

  1. 找出公式中所含的全部命题变项p1, p2, … , pn(若无下角标 则按字母顺序排列), 列出 2 n 2^n 2n个全部赋值, 从00…0开始, 按二进制加法, 每次加1, 直至11…1为止.

  2. 按从低到高的顺序写出公式的各个层次.

  3. 对每个赋值依次计算各层次的真值, 直到最后计算出公式 的真值为止.

例题:
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

1.2.5 公式的类型

公式的类型

(1) 若A在它的任何赋值下均为真, 则称A为重言式永真式;

(2) 若A在它的任何赋值下均为假, 则称A为矛盾式永假式;

(3) 若A不是矛盾式, 则称A是可满足式.
在这里插入图片描述

注意重言式是可满足式,但反之不真.

真值表的用途:

求出公式的全部成真赋值成假赋值, 判断公式的类型

1.3 练习题

练习1:

将下列命题符号化

(1) 豆沙包是由面粉和红小豆做成的.

(2) 苹果树和梨树都是落叶乔木.

(3) 王小红或李大明是物理组成员.

(4) 王小红或李大明中的一人是物理组成员.

(5) 由于交通阻塞,他迟到了.

(6) 如果交通不阻塞,他就不会迟到.

(7) 他没迟到,所以交通没阻塞.

(8) 除非交通阻塞,否则他不会迟到.

(9) 他迟到当且仅当交通阻塞.

解:

(1) 是简单命题 (2) 是合取式

(3) 是析取式(相容或)(4) 是析取式(排斥或)

(5)–(9)题的解:

在这里插入图片描述

练习2:

在这里插入图片描述

习题3:

在这里插入图片描述

解:

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

2. 命题逻辑等值演算

2.1 等值式

2.1.1 等值式概念

在这里插入图片描述

例题1:

在这里插入图片描述

解:

在这里插入图片描述

在这里插入图片描述

2.1.2 基本等值式

在这里插入图片描述

在这里插入图片描述

特别提示:必须牢记这16组等值式,这是继续学习的基础

2.1.3 等值演算与置换规则

  1. 等值演算——由已知的等值式推演出新的等值式的过程

  2. 等值演算的基础:

    (1) 等值关系的性质:自反性、对称性、传递性

    (2) 基本的等值式

    (3) 置换规则(见3)

  3. 置换规则:设Φ(A)是含公式A的命题公式,Φ(B)是用公式B置换,Φ(A)中所有的A后得到的命题公式,若Φ(B) <=>Φ(A),则 Φ(B) <=> Φ(A)

在这里插入图片描述

写题的时候可以省去注明中的置换规则

注意:用等值演算不能直接证明两个公式不等值

在这里插入图片描述

2.1.4 等值演算的应用举例

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

2.2 析取范式与合取范式

2.2.1 概念

在这里插入图片描述

在这里插入图片描述

2.2.2 范式的性质

定理2.1

(1) 一个简单析取式是重言式当且仅当它同时含有某个命题变项和它的否定式

  • 例子
    • 假设有一个简单析取式 P∨¬P
    • 根据逻辑的定义,无论 P 是真还是假,P∨¬P 总是为真。
    • 因此,P∨¬P 是一个重言式。
    • 反之,如果一个简单析取式不包含任何命题变项及其否定式,如 PQ,则它不是重言式,因为存在 PQ 都为假的情况,使得整个表达式为假。

(2) 一个简单合取式是矛盾式当且仅当它同时含有某个命题变项和它的否定式

  • 例子
    • 假设有一个简单合取式 P∧¬P
    • 根据逻辑的定义,无论 P 是真还是假,P∧¬P 总是为假。
    • 因此,P∧¬P 是一个矛盾式。
    • 反之,如果一个简单合取式不包含任何命题变项及其否定式,如 PQ,则它不是矛盾式,因为存在 PQ 都为真的情况,使得整个表达式为真。

定理2.2

=(1) 一个析取范式是矛盾式当且仅当它每个简单合取式都是矛盾式

  • 例子
    • 假设有一个析取范式 (P∧¬P)∨(Q∧¬Q)。
    • 由于 P∧¬PQ∧¬Q 都是矛盾式,因此整个析取范式也是矛盾式。
    • 反之,如果析取范式中有一个简单合取式不是矛盾式,如 (PQ)∨(RS),则整个析取范式不是矛盾式,因为存在 P,Q,R,S 的某些真值组合使得整个表达式为真。

(2) 一个合取范式是重言式当且仅当它的每个简单析取式都是重言式

  • 例子
    • 假设有一个合取范式 (P∨¬P)∧(Q∨¬Q)。
    • 由于 P∨¬PQ∨¬Q 都是重言式,因此整个合取范式也是重言式。
    • 反之,如果合取范式中有一个简单析取式不是重言式,如 (PQ)∧(R∧¬R),则整个合取范式不是重言式,因为存在 P,Q,R 的某些真值组合使得整个表达式为假。

定理2.3(范式存在定理)

任何命题公式都存在与之等值的析取范式与合取范式

小练习:

在这里插入图片描述

在这里插入图片描述

例题 5:

在这里插入图片描述

解:

在这里插入图片描述

在这里插入图片描述

2.2.3 极小项与极大项

概念:

在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项均以文字的形式在其中出现且仅出现一次,而且第i个文字出现在左起第i位上(1 ≤ \leq i ≤ \leq n),称这样的简单合取式(简单析取式)为极小项极大项).

几点说明:

  • n个命题变项有 2 n 2^n 2n个极小项和 2 n 2^n 2n个极大项
  • 2 n 2^n 2n个极小项(极大项)均互不等值
  • m i m_{i} mi表示第i个极小项,其中i是该极小项成真赋值的十进制表示. 用 M i M_{i} Mi表示第i个极大项,其中i是该极大项成假赋值的十进制表示. m i m_{i} mi M i M_{i} Mi​)称为极小项(极大项)的名称.

实例:

在这里插入图片描述

在这里插入图片描述

2.2.4 主析取范式与主合取范式

概念:

在这里插入图片描述

主范式的存在唯一定理:

任何命题公式都存在与之等值的主析取范式和主合取范式,并且是唯一的

2.2.5 求公式主范式的步骤

在这里插入图片描述

在这里插入图片描述

例题:

在这里插入图片描述

在这里插入图片描述

2.2.6 主范式的应用

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

2.3 联结词的完备集

暂时没学,期末考试不严格的出这方面的题。

2.4 习题

第一题:

设A与B为含n个命题变项的公式,判断下列命题是否为真?

(1) A<=>B当且仅当A与B有相同的主析取范式

(2) 若A为重言式,则A的主合取范式为0

(3) 若A为矛盾式,则A的主析取范式为1

(4) 任何公式都能等值地化成{∧, ∨}中的公式

(5) 任何公式都能等值地化成{¬, ->, ∧}中的公式

答:(1)真。(2)假。(3)假。(4)假。(5)真。

说明:

(2) 重言式的主合取范式不含任何极大项,为1.

(3) 矛盾式的主合析范式不含任何极小项, 为0.

(4){∧, ∨}不是完备集,如矛盾式不能写成{∧, ∨}中的公式.

(5) {¬, ->, ∧}是完备集.

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

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

在这里插入图片描述

解此类问题的步骤:

  1. 设简单命题并符号化

  2. 用复合命题描述各条件

  3. 写出由复合命题组成的合取式

  4. 将合取式成析取式(最好是主析取范式)

  5. 求成真赋值, 并做出解释和结论

在这里插入图片描述
在这里插入图片描述
第五题的解题步骤:
在这里插入图片描述

第六、七题,用消解法:

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

3.命题逻辑的推理理论

3.1 推理的形式结构

3.1.1 概念

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

3.1.2 推理定律–重言蕴含式

在这里插入图片描述

3.2 自然推理系统P

3.2.1 定义

在这里插入图片描述

在这里插入图片描述

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

3.2.2 在自然推理系统P中构造证明

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

3.2.3 附加前提证明法

在这里插入图片描述

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

3.2.4 归谬法

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

3.3 习题

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
请添加图片描述
请添加图片描述

请添加图片描述
请添加图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/diannao/62945.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【Linux篇】权限管理 - 用户与组权限详解

一. 什么是权限&#xff1f; 首先权限是限制人的。人 真实的人 身份角色 权限 角色 事物属性 二. 认识人–用户 Linux下的用户分为超级用户和普通用户 root :超级管理员&#xff0c;几乎不受权限的约束普通用户 :受权限的约束超级用户的命令提示符是#&#xff0c;普通用…

【机器学习】机器学习的基本分类-监督学习-决策树-C4.5 算法

C4.5 是由 Ross Quinlan 提出的决策树算法&#xff0c;是对 ID3 算法的改进版本。它在 ID3 的基础上&#xff0c;解决了以下问题&#xff1a; 处理连续型数据&#xff1a;支持连续型特征&#xff0c;能够通过划分点将连续特征离散化。处理缺失值&#xff1a;能够在特征值缺失的…

2023年MathorCup高校数学建模挑战赛—大数据竞赛B题电商零售商家需求预测及库存优化问题求解全过程文档及程序

2023年MathorCup高校数学建模挑战赛—大数据竞赛 B题 电商零售商家需求预测及库存优化问题 原题再现&#xff1a; 电商平台存在着上千个商家&#xff0c;他们会将商品货物放在电商配套的仓库&#xff0c;电商平台会对这些货物进行统一管理。通过科学的管理手段和智能决策&…

cocotb pytest

打印python中的print &#xff0c; 应该使用 pytest -s pytest --junitxmltest_report.xml --htmlreport.html

【Linux】进程间关系与守护进程

&#x1f30e;进程间关系与守护进程 文章目录&#xff1a; 进程间关系与守护进程 进程组     会话       认识会话       会话ID       创建会话 控制终端     作业控制       作业(job)和作业控制(Job Control)       作业号及作业过程…

QT5.14 QML串口助手

基于 QML的 串口调试助手 这个代码有缺失&#xff0c;补了部分代码 ASCII HEX 工程共享&#xff0c; Qt版本 5.14.1 COM_QML 通过百度网盘分享的文件&#xff1a;COM_QML.zip 链接&#xff1a;https://pan.baidu.com/s/1MH2d6gIPDSoaX-syVWZsww?pwd5tge 提取码&#xff1a;…

IOS ARKit进行图像识别

先讲一下基础控涧&#xff0c;资源的话可以留言&#xff0c;抽空我把它传到GitHub上&#xff0c;这里没写收积分&#xff0c;竟然充值才能下载&#xff0c;我下载也要充值&#xff0c;牛&#xff01; ARSCNView 可以理解画布或者场景 1 配置 ARWorldTrackingConfiguration AR追…

C语言第十五周课——课堂练习

目录 1.输出特定图形 2.求三个数的最小值 3.思考题 1.输出特定图形 要求&#xff1a;输出下面形状在控制台 * * * * * * * * * * * * * * * #include <stdio.h> int main() {int i, j;// 外层循环控制行数for (i 1; i < 5; i){// 内层循环控制每行的星号个数for (…

数据结构 (20)二叉树的遍历与线索化

一、二叉树的遍历 遍历是对树的一种最基本的运算&#xff0c;所谓遍历二叉树&#xff0c;就是按一定的规则和顺序走遍二叉树的所有节点&#xff0c;使每一个节点都被访问一次&#xff0c;而且只被访问一次。二叉树的遍历方式主要有四种&#xff1a;前序遍历、中序遍历、后序遍历…

sscanf与sprintf函数

本期介绍&#x1f356; 主要介绍&#xff1a;sscanf()、sprintf()这对输入/输出函数&#xff0c;并详细讲解了这两个函数的应用场景。 概述&#x1f356; 在C语言的输出和输入库中&#xff0c;有三对及其相似的库函数&#xff1a;printf()、scanf()、fprintf()、fscanf()、spri…

Linux条件变量线程池详解

一、条件变量 【互斥量】解决了线程间同步的问题&#xff0c;避免了多线程对同一块临界资源访问产生的冲突&#xff0c;但同一时刻对临界资源的访问&#xff0c;不论是生产者还是消费者&#xff0c;都需要竞争互斥锁&#xff0c;由此也带来了竞争的问题。即生产者和消费者、消费…

【错误记录】jupyter notebook打开后服务器错误Forbidden问题

如题&#xff0c;在Anaconda Prompt里输入jupyter notebook后可以打开浏览器&#xff0c;但打开具体项目后就会显示“服务器错误&#xff1a;Forbidden”&#xff0c;终端出现&#xff1a; tornado.web.HTTPError: HTTP 403: Forbidden 查看jupyter-server和jupyter notebook版…

shodan2-批量查找CVE-2019-0708漏洞

声明&#xff01; 学习视频来自B站up主 泷羽sec 有兴趣的师傅可以关注一下&#xff0c;如涉及侵权马上删除文章&#xff0c;笔记只是方便各位师傅的学习和探讨&#xff0c;文章所提到的网站以及内容&#xff0c;只做学习交流&#xff0c;其他均与本人以及泷羽sec团队无关&#…

PostgreSQL实现透视表查询

PostgreSQL 8.3版本发布时&#xff0c;引入了一个名为tablefunc的新扩展。这个扩展提供了一组非常有趣的函数。其中之一是交叉表函数&#xff0c;用于创建数据透视表。这就是我们将在本文中讨论的内容。 需求说明 解释此函数如何工作的最简单方法是使用带有数据透视表的示例…

使用Tauri创建桌面应用

当前是在 Windows 环境下 1.准备 系统依赖项 Microsoft C 构建工具WebView2 (Windows10 v1803 以上版本不用下载&#xff0c;已经默认安装了) 下载安装 Rust下载安装 Rust 需要重启终端或者系统 重新打开cmd&#xff0c;键入rustc --version&#xff0c;出现 rust 版本号&…

【掩体计划——DFS+缩点】

题目 代码 #include <bits/stdc.h> using namespace std; const int N 1e5 10; vector<vector<int>> g; bool st[N]; int ans 1e9; bool dfs(int f, int u, int dis) {bool is 1;for (auto j : g[u]){if (j f)continue;is & dfs(u, j, dis (g[u].…

游戏引擎学习第25天

Git: https://gitee.com/mrxiao_com/2d_game 今天的计划 总结和复述&#xff1a; 这段时间的工作已经接近尾声&#xff0c;虽然每次编程的时间只有一个小时&#xff0c;但每一天的进展都带来不少收获。尽管看起来似乎花费了很多时间&#xff0c;实际上这些日积月累的时间并未…

《Python基础》之Pandas库

目录 一、简介 二、Pandas的核心数据结构 1、Series 2、DataFrame 三、数据读取与写入 1、数据读取 2、数据写入 四、数据清洗与处理 1、处理缺失值 2、处理重复值 3、数据转换 五、数据分析与可视化 1、统计描述 2、分组聚合 3、数据可视化 六、高级技巧 1、时…

设计模式 更新ing

设计模式 1、六大原则1.1 单一设计原则 SRP1.2 开闭原则1.3 里氏替换原则1.4 迪米特法则1.5 接口隔离原则1.6 依赖倒置原则 2、工厂模式 1、六大原则 1.1 单一设计原则 SRP 一个类应该只有一个变化的原因 比如一个视频软件&#xff0c;区分不同的用户级别 包括访客&#xff0…

c++预编译头文件

文章目录 c预编译头文件1.使用g编译预编译头文件2.使用visual studio进行预编译头文件2.1visual studio如何设置输出预处理文件&#xff08;.i文件&#xff09;2.2visual studio 如何设置预编译&#xff08;初始创建空项目的情况下&#xff09;2.3 visual studio打开输出编译时…