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