【笔记】离散数学 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 习题

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

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

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

JAVA 架构师面试 100套含答案:JVM+spring+ 分布式 + 并发编程》...

今年的行情&#xff0c;让招聘面试变得雪上加霜。已经有不少大厂&#xff0c;如腾讯、字节跳动的招聘名额明显减少&#xff0c;面试门槛却一再拔高&#xff0c;如果不用心准备&#xff0c;很可能就被面试官怼得哑口无言&#xff0c;甚至失去了难得的机会。 现如今&#xff0c;…

架构10-可观测性

零、文章目录 架构10-可观测性 1、可观测性 &#xff08;1&#xff09;可观测性的背景 **历史沿革&#xff1a;**可观测性最初由匈牙利数学家鲁道夫卡尔曼提出&#xff0c;用于线性动态控制系统。后来&#xff0c;该概念被引入到计算机科学中。**现代意义&#xff1a;**在分…

Halcon 瑕疵检测原理及应用

摘要&#xff1a; 本文详细阐述了 Halcon 在瑕疵检测领域的原理、相关技术以及广泛的应用场景。首先介绍了 Halcon 软件的基本概况及其在机器视觉领域的重要地位&#xff0c;接着深入剖析了瑕疵检测所涉及的图像采集、预处理、特征提取与分析以及分类与判定等核心原理&#xff…

开发手札:Win+Mac下工程多开联调

最近完成一个Windows/Android/IOS三端多人网络协同项目V1.0版本&#xff0c;进入测试流程了。为了方便自测&#xff0c;需要用unity将一个工程打开多次&#xff0c;分别是Win/IOS/Android版本&#xff0c;进行多角色联调。 在Win开发机上&#xff0c;以Windows版本为主版…

云原生数据库 PolarDB

PolarDB 是阿里云推出的一款云原生数据库&#xff0c;旨在为企业提供高性能、高可靠性的数据库解决方案。它基于云计算环境设计&#xff0c;特别适用于云上的大规模数据处理和存储需求。PolarDB 是一种兼具关系型数据库&#xff08;RDS&#xff09;和分布式数据库特性的新型数据…

状态模式的理解和实践

在软件开发中&#xff0c;我们经常遇到需要根据对象的不同状态执行不同行为的情况。如果直接将这些状态判断和行为逻辑写在同一个类中&#xff0c;会导致该类变得臃肿且难以维护。为了解决这个问题&#xff0c;状态模式&#xff08;State Pattern&#xff09;应运而生。状态模式…

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

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

Java刷题常见的集合类,各种函数的使用以及常见的类型转化等等

前言 相信大家在刷算法题的过程中&#xff0c;好不容易想出来大概的思路&#xff0c;也知道去用哪个集合类&#xff0c;但各个集合类的一些命令都长得太像&#xff0c;很容易将他们弄错&#xff0c;并且在各集合之间的转化也是特别烦人&#xff0c;还有很多实用的函数都知道可…

cgo内存泄漏排查

示例程序&#xff1a; package main/* #include <stdlib.h> #include <string.h> #include <stdio.h> char* cMalloc() {char *mem (char*)malloc(1024 * 1024 * 16);return mem; } void cMemset(char* mem) {memset(mem, -, 1024 * 1024 * 16); } int arr…

【算法】【优选算法】位运算(下)

目录 一、&#xff1a;⾯试题 01.01.判定字符是否唯⼀1.1 位图1.2 hash思路1.3 暴力枚举 二、268.丢失的数字2.1 位运算&#xff0c;异或2.2 数学求和 三、371.两整数之和四、137.只出现⼀次的数字 II五、⾯试题 17.19.消失的两个数字 一、&#xff1a;⾯试题 01.01.判定字符是…

Tomcat 都有哪些核心组件

优质博文&#xff1a;IT-BLOG-CN 【1】Server&#xff1a;Server元素在最顶层&#xff0c;代表整个 Tomcat容器&#xff0c;因此他必须是 server.xml中唯一一个最外层的元素。一个 Server元素可以有一个或多个 Service元素。 <Server port"8005" shutdown"…

前端开发 之 15个页面加载特效中【附完整源码】

前端开发 之 15个页面加载特效中【附完整源码】 文章目录 前端开发 之 15个页面加载特效中【附完整源码】八&#xff1a;圆环百分比加载特效1.效果展示2.HTML完整代码 九&#xff1a;毒药罐加载特效1.效果展示2.HTML完整代码 十&#xff1a;无限圆环加载特效1.效果展示2.HTML完…

单张照片生成3D互动场景:李飞飞团队AI 3D技术引领未来

近日,由斯坦福大学教授李飞飞领导的团队推出了一项革命性的AI 3D重建技术,该技术能够从多张未知姿态的照片中自动生成高质量的3D互动场景。这项技术不仅标志着计算机视觉领域的一大进步,也为元宇宙虚拟空间、沉浸式看房、XR(扩展现实)+文旅等应用带来了新的可能性。 技术…

洛谷P2670扫雷游戏(Java)

三.P2670 [NOIP2015 普及组] 扫雷游戏 题目背景 NOIP2015 普及组 T2 题目描述 扫雷游戏是一款十分经典的单机小游戏。在 n 行 m列的雷区中有一些格子含有地雷&#xff08;称之为地雷格&#xff09;&#xff0c;其他格子不含地雷&#xff08;称之为非地雷格&#xff09;。玩…

【机器学习】机器学习的基本分类-监督学习-决策树-CART(Classification and Regression Tree)

CART&#xff08;Classification and Regression Tree&#xff09; CART&#xff08;分类与回归树&#xff09;是一种用于分类和回归任务的决策树算法&#xff0c;提出者为 Breiman 等人。它的核心思想是通过二分法递归地将数据集划分为子集&#xff0c;从而构建一棵树。CART …

商汤完成组织架构调整,改革完成的商汤未来何在?

首先&#xff0c;从核心业务的角度来看&#xff0c;商汤科技通过新架构明确了以AI云、通用视觉模型等为核心业务的战略方向。这一举措有助于商汤科技集中资源&#xff0c;加强在核心业务领域的研发和市场拓展&#xff0c;提高市场竞争力。同时&#xff0c;坚定生成式AI为代表的…

python学opencv|读取视频(二)制作gif

【1】引言 前述已经完成了图像和视频的读取学习&#xff0c;本次课学习制作gif格式动图。 【2】教程 实际上想制作gif格式动图是一个顺理成章的操作&#xff0c;完成了图像和视频的处理&#xff0c;那就自然而然会对gif的处理也产生兴趣。 不过在opencv官网、matplotlib官网…

【Pytorch】torch.reshape与torch.Tensor.reshape区别

问题引入&#xff1a; 在Pytorch文档中&#xff0c;有torch.reshape与torch.Tensor.reshape两个reshape操作&#xff0c;他们的区别是什么呢&#xff1f; 我们先来看一下官方文档的定义&#xff1a; torch.reshape&#xff1a; torch.Tensor.reshape: 解释&#xff1a; 在p…

ArcGIS对地区进行筛选提取及投影转换

首先我们需要对坐标系和投影这些概念做进一步的解释。 1、基本概念&#xff1a; 想要理解坐标系和投影的概念&#xff0c;首先我们需要先理解什么是坐标。顾名思义&#xff0c;坐标就是指我们所在的位置&#xff0c;比如我在离旗杆东北部50m处&#xff0c;其实就是离旗杆东边…

qt QRadialGradient详解

1、概述 QRadialGradient是Qt框架中QGradient的一个子类&#xff0c;它用于创建径向渐变效果。径向渐变是从一个中心点向外扩散的颜色渐变&#xff0c;通常用于模拟光源或创建类似于高光和阴影的效果。QRadialGradient允许你定义渐变的中心点、焦距&#xff08;控制渐变扩散的…