exdoubled'blog

$ ls -lt posts/

06-14
2026

Sticky

代数结构与数理逻辑学习笔记8

形式算术、递归函数与不完备性

#离散数学 #笔记 #代数结构与数理逻辑

62 Mins

06-13
2026

Sticky

代数结构与数理逻辑学习笔记7

符号逻辑讲义补充：形式系统、演算与元定理

#离散数学 #笔记 #代数结构与数理逻辑

28 Mins

06-13
2026

Sticky

代数结构与数理逻辑学习笔记6

命题逻辑与一阶逻辑

#离散数学 #笔记 #代数结构与数理逻辑

20 Mins

06-09
2026

Sticky

计组学习笔记6

互连及输入输出组织

#笔记 #计算机组成原理

44 Mins

06-09
2026

Sticky

计组学习笔记7

并行处理系统

#笔记 #计算机组成原理

38 Mins

06-05
2026

Sticky

近似算法

近似算法，负载均衡，顶点覆盖，Metric TSP，集合覆盖，k-center，MAX-SAT，背包，PTAS与FPTAS

#笔记 #算法导论 #算法

31 Mins

06-01
2026

Sticky

计算机网络学习笔记7

计算机网络中的安全

#笔记 #计算机网络

17 Mins

05-29
2026

Sticky

NP 完全性与归约

P与NP，证书，多项式时间归约，SAT，Clique，Independent Set，Vertex Cover，Exact-3SAT，3-Colorability，Exact Cover，Subset Sum与TSP

#笔记 #算法导论 #算法

29 Mins

05-26
2026

Sticky

逆向工程基本原理11

固件模拟与漏洞验证

#reverse

19 Mins

05-22
2026

Sticky

线性规划与对偶

线性规划，标准型，几何直观，对偶，弱对偶，强对偶，互补松弛与算法应用

#笔记 #算法导论 #算法

21 Mins

12 3…10

Hello World.