Archives | linda1729's blog

linda1729

2026

01

26

登临齐鲁

从夜爬泰山到走进曲阜，在齐鲁大地上完成一场关于身体与精神的朝圣。

2026-01-26 Beyond Code

游记

26

写给自己

写给自己。

2026-01-26 Beyond Code

生活

26

从饮食、喝水、运动到心态，把一次真实减脂经历里最有效的体会梳理出来。

2026-01-26 Beyond Code

生活

25

ch6 归纳定义

ch6 归纳定义

围绕规则归纳、算子与不动点，为后面的指称语义提前铺路。

2026-01-25 Formal Semantics

形式语义归纳定义

24

ch5 归纳原理

ch5 归纳原理

把归纳法的常见证明套路整理成工具箱，方便后续直接调用。

2026-01-24 Formal Semantics

形式语义归纳原理

23

ch4 操作语义

ch4 操作语义

从抽象机视角进入操作语义，看大步与小步规则如何展开程序执行。

2026-01-23 Formal Semantics

形式语义操作语义

22

ch3 集合论

用集合论把后续语义里的记号系统打底，减少推导时的卡顿感。

2026-01-22 Formal Semantics

形式语义集合论

21

ch1-2 数理逻辑

ch1-2 数理逻辑

先把命题逻辑和谓词逻辑记号收拢好，为后续证明与推导热身。

2026-01-21 Formal Semantics

形式语义数理逻辑

20

Introduction

先交代课程脉络、资料来源与阅读顺序，方便后面逐章推进。

2026-01-20 Formal Semantics

形式语义

16

Lesson 22：安全（隔离、身份与访问控制）

Lesson 22：安全（隔离、身份与访问控制）

围绕隔离、认证与授权，理解安全系统怎样一步步落到工程实践。

2026-01-16 Computer System Engineering

计算机系统设计

16

Lesson 21：安全（数据安全与协议）

Lesson 21：安全（数据安全与协议）

从威胁模型到加密协议，搭起系统安全分析的第一层框架。

2026-01-16 Computer System Engineering

计算机系统设计

15

Lesson 19-20：分布式原子性与一致性

Lesson 19-20：分布式原子性与一致性

把两阶段提交与一致性问题放在一起，理解分布式系统里的核心取舍。

2026-01-15 Computer System Engineering

计算机系统设计

            
2 / 9

评论