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

news2025/1/23 13:37:30

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.coloradmin.cn/o/2253607.html

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

相关文章

在服务器上实现本地python文件的依赖

1、在python中&#xff0c;一个python文件就可以视为一个模块进行导入 2、使用import 导入时&#xff0c;若使用pip 下载过可以直接导入 3、假如是自己写的同项目中的文件会去sys.path 中查找 比如说 我现在 test 下有一个 python文件 运行 下面的代码 打印的数据如上图所示p…

解决python 使用pip 安装模块时遇到的错误SSL: CERTIFICATE_VERIFY_FAILED

最近有一个使用python 2.7.* 使用requests模块的需求,在安装的过程中遇到了一个问题&#xff0c;在这里分享给大家&#xff01; 安装requests命令如下 pip install -i https://pypi.tuna.tsinghua.edu.cn/simple requests 遗憾的是&#xff0c;报错了 Collecting requests …

蓝桥杯准备训练(lesson2 ,c++)

3.1 字符型 char //character的缩写在键盘上可以敲出各种字符&#xff0c;如&#xff1a; a &#xff0c; q &#xff0c; &#xff0c; # 等&#xff0c;这些符号都被称为字符&#xff0c;字符是⽤单引号括 起来的&#xff0c;如&#xff1a; ‘a’ &#xff0c; ‘b’ &…

opencvocr识别手机摄像头拍摄的指定区域文字,文字符合规则就语音报警

安装python&#xff0c;pycharm&#xff0c;自行安装。 Python下安装OpenCv 2.1 打开cmd,先安装opencv-python pip install opencv-python --user -i https://pypi.tuna.tsinghua.edu.cn/simple2.2 再安装opencv-contrib-python pip install opencv-contrib-python --user …

LabVIEW中“this VI‘s owning library is missing”错误及解决

问题描述 当加载或打开一个VI时&#xff0c;如果其所属的项目库未加载到内存&#xff0c;LabVIEW将提示错误&#xff1a;“this VIs owning library is missing”&#xff08;该VI的所属库不存在&#xff09;。 该问题通常发生在以下情况下&#xff1a; 项目库文件丢失或路径…

【效果】回到顶部功能实现

实现效果&#xff1a; 相关代码&#xff1a; <template><div class"cats" :style"{ top: catsTop }" ref"cats" click"catTop"></div> </template> 样式&#xff1a; /* 回到顶部 - 小猫咪 */ .cats {posi…

算法第一弹-----双指针

目录 1.移动零 2.复写零 3.快乐数 4.盛水最多的容器 5.有效三角形的个数 6.查找总价值为目标值的两个商品 7.三数之和 8.四数之和 双指针通常是指在解决问题时&#xff0c;同时使用两个指针&#xff08;变量&#xff0c;常用来指向数组、链表等数据结构中的元素位置&am…

计算机网络期末复习-part1-概述

1、互联网的组成 互联网由两大块组成。 1、边沿部分&#xff1a;由所有连接在互联网上的主机组成&#xff0c;是用户直接使用的部分。 2、核心部分&#xff0c;由大量网络和路由器组成&#xff0c;为边缘部分提供服务。 2、数据传送阶段的三种交换方式的主要特点 1、电路交…

【Linux系统编程】——理解冯诺依曼体系结构

文章目录 冯诺依曼体系结构硬件当代计算机是性价比的产物冯诺依曼的存储冯诺依曼的数据流动步骤冯诺依曼结构总结 冯诺依曼体系结构硬件 下面是整个冯诺依曼体系结构 冯诺依曼结构&#xff08;Von Neumann Architecture&#xff09;是现代计算机的基本结构之一&#xff0c;由数…

微信创建小程序码 - 数量不受限制

获取小程序码&#xff1a;小程序码为圆图&#xff0c;且不受数量限制。 目录 文档 接口地址 请求方式 功能描述 注意事项 获取 scene 值 请求参数 返回参数 对接 请求方法 获取小程序码 调用获取小程序码 总结 文档 接口地址 https://api.weixin.qq.com/wxa/get…

JDK8 下载与安装

下载安装包 官网下载 官网 找到适合的版本: 网盘下载 网盘链接 提取码: 6666 下载得到的安装包: 安装步骤 双击安装包开始安装. 安装路径不要有中文或者特殊符号如空格等. 更改安装路径: 跳出一个页面, 安装公共 JRE: 安装完成: 安装目录: 安装的公共 JRE: JDK 里面的 JR…

笔记本电脑usb接口没反应怎么办?原因及解决方法

笔记本电脑的USB接口是我们日常使用中非常频繁的一个功能&#xff0c;无论是数据传输、充电还是外接设备&#xff0c;都离不开它。然而&#xff0c;当USB接口突然没有反应时&#xff0c;这无疑会给我们的工作和学习带来不小的困扰。下面&#xff0c;我们就来探讨一下笔记本USB接…

Axure设计之模拟地图人员移动轨迹

在产品原型设计时&#xff0c;为了更好的表达和呈现预期的效果&#xff0c;让客户或开发看一眼就能理解要实现的功能&#xff0c;往往需要在产品设计时尽量去接近现实&#xff0c;这就需要我们在使用Axure制作原型时应具有高度细节和逼真度的原型设计。原型设计不仅包含了产品的…

【配置查询】.NET开源 ORM 框架 SqlSugar 系列

.NET开源 ORM 框架 SqlSugar 系列 【开篇】.NET开源 ORM 框架 SqlSugar 系列【入门必看】.NET开源 ORM 框架 SqlSugar 系列【实体配置】.NET开源 ORM 框架 SqlSugar 系列【Db First】.NET开源 ORM 框架 SqlSugar 系列【Code First】.NET开源 ORM 框架 SqlSugar 系列【数据事务…

error=‘null‘], commandType=io.lettuce.core.RedisPublisher$SubscriptionCommand]

问题 查看java应用启动日志输出下面错误&#xff1a; errornull], commandTypeio.lettuce.core.RedisPublisher$SubscriptionCommand] Completing command LatencyMeteredCommand [typeINFO, outputStatusOutput [output# Server redis_version:4.0.14 redis_git_sha1:000…

Python 数据分析用库 获取数据(二)

Beautiful Soup Python的Beautiful Soup&#xff08;常被称为“美丽汤”&#xff09;是一个用于解析HTML和XML文档的第三方库&#xff0c;它在网页爬虫和数据提取领域具有广泛的应用。 作用 HTML/XML解析&#xff1a; Beautiful Soup能够解析HTML和XML文档&#xff0c;包括不…

915DEBUG-obsidianTemplater使用

Templater使用 tp函数不正常显示相应数据 模板使用方式不正确 <% tp.date.now("YYYY-MM-DD") %> 应该被放置在一个被Templater识别为模板的文件中&#xff0c;或者在你使用Templater的插入模板功能时输入。如果只是在一个普通的Markdown文件中直接输入这段代码…

美畅物联丨智能监控,高效运维:视频汇聚平台在储能领域的实践探索

在当今全球能源格局不断变化的大背景下&#xff0c;对清洁能源的需求正以惊人的速度增长。储能项目作为平衡能源供需、提升能源利用效率的关键环节&#xff0c;其规模和复杂度也在不断攀升。在储能项目的运营管理过程中&#xff0c;安全监控、设备运维以及数据管理等方面面临着…

华为NPU服务器昇腾Ascend 910B2部署通义千问Qwen2.5——基于mindie镜像一路试错版(三)

文章目录 前言纯模型推理启动服务后面干什么?这可咋整啊?愁死了!总结前言 这是咱这个系列的第三个文章了。 毕竟,这是我好几天摸索出的经验,能帮助各位在几个小时内领会,我觉得也算是我的功劳一件了。 所以,一是希望大家耐心看下去,耐心操作下去;而是恳请各位多多关…

【C++】—— set 与 multiset

【C】—— map 与 set 1 序列式容器和关联式容器2 set 系列的使用2.1 set 和 multiset 参考文档2.2 set 类的介绍2.3 set 的迭代器和构造2.4 set的增删查2.4.1 insert2.4.2 find 与 erase2.4.3 count 2.5 lower_bound 与 upper_bound2.6 multiset 与 set 的差异2.6.1 不再去重2…