ThreshHolden

分类

C/C++(9) visual studio(1) 离散数学(12) 题解(2)

/ 注册

全部文章（共23篇）

离散数学--Chap3 命题逻辑的推理理论

Chap3 命题逻辑的推理理论 1.核心知识点 1.推理：由前提推出结论 2.推理正确当且仅当对应的蕴含式为重言式 3.推理定律（重言蕴含式）：构造性二难推理：(A→B)∧(C→D)∧(A∨C)⇒(B∨D) (A→B)∧(┐A→B)⇒B (特殊形式) 破坏性二难推理：(A →...

离散数学命题逻辑推理

2022-03-03

1 960

离散数学--Chap1 命题逻辑的基本概念

Chap1 命题逻辑的基本概念核心概念 1.命题：真值唯一的陈述句 2.命题分类：简单命题（原子命题，不可再分）和复合命题 3.赋值（解释）：给所有命题变项各指定一个真值 4.合式公式（简称公式），类型：重言式（永真式）、矛盾式（永假式）、可满足式（至少存在一个成真赋值）其他否定式+否定联结词...

离散数学命题

2022-03-02

1 391

LeetCode刷题--广度优先搜索（BFS）

广度优先搜索算法（Breadth-First Search，BFS），广度优先搜索算法，又称为宽度优先搜索，是一种图形搜索算法。简单的说，BFS 是从根结点开始，沿着树的宽度遍历树的结点。如果所有结点均被访问，则算法中止。该算法常用于树和图的问题中。让我们先来看第一道经典的题目—— 102. 二...

C++ 广度优先搜索图队列

2022-02-24

1 449