首页
分类
BvBeJ的小站
行动起来,活在当下
累计撰写
30
篇文章
累计创建
1
个标签
累计收到
0
条评论
栏目
目 录
CONTENT
最新文章
2025-08-18
等价关系与序关系
一、核心概念对比表 特征 等价关系 序关系(偏序) ऩ
2025-08-18
4
0
0
Study
2025-08-12
集合
一、集合基本运算(定义与符号) 运算 符号 定义 示例&#
2025-08-12
8
0
0
Study
2025-08-12
量词作用域的扩张与收缩等价式
量词作用域的扩张与收缩等价式描述了谓词逻辑中量词(全称量词 ∀、存在量词 ∃)的辖域扩大或缩小时,公式逻辑等价的变换规则。这些规&
2025-08-12
10
0
0
Study
2025-07-25
等值演算
注意:以下公式中,T代表永真式(True),F代表矛盾式(False),P、Q、R代表任意命题公式。 双重否定律(Double Negation): ¬¬P ⇔ P
2025-07-25
9
0
0
Study
2025-07-25
命题真值表
否定(Negation,符号:¬ 或 ~) 命题:P 真值表: P ¬P T F F T 合取ʌ
2025-07-25
6
0
0
Study
2025-04-11
函数依赖(Functional Dependency, FD)详解
函数依赖是数据库规范化理论的核心概念,用于描述关系中属性之间的依赖关系,直接影响数据库设计(如范式分解)。以下是系统总结:
2025-04-11
19
0
0
System
2025-04-11
五大类排序算法完整总结
以下是整合后的五大类排序算法完整总结,涵盖选择、交换、插入、归并、分配五大类,包括算法原理、时间/空间复杂度及稳定性ल
2025-04-11
33
0
0
System
2025-04-02
浮点数基值
一、核心公式分类记忆 将公式分为三大类:范围相关、数量相关,用“阶值(p)”“进位(rm)”和“尾ă
2025-04-02
24
0
0
System
2025-04-02
数据流计算机与归约机的核心解析
一、数据流计算机 数据流计算机(Dataflow Computer)是一种基于数据驱动计算模型的并行计算架构,其核心思想是数据可
2025-04-02
65
0
0
System
2025-03-31
x86_64与ARM64常用指令对比分析
x86_64(AMD64/Intel64)和ARM64(AArch64)是两种主流的64位处理器架构,其指令集设计分别基于CISC(复杂指令集)和RISC(精简指令集)理念,导致常用指令类型和执行
2025-03-31
69
0
0
System
1
2
3