Archives: 2026/1 | linda1729's blog

linda1729

2026

01

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

计算机系统设计

15

Lesson 17-18：原子性与隔离（事务处理）

Lesson 17-18：原子性与隔离（事务处理）

从事务、日志到隔离级别，理解系统如何守住原子性与可恢复性。

2026-01-15 Computer System Engineering

计算机系统设计

14

Lesson 16：容错与可靠性

Lesson 16：容错与可靠性

讨论容错、冗余与失效恢复，建立可靠性设计的基本直觉。

2026-01-14 Computer System Engineering

计算机系统设计

14

Lesson 14-15：性能工程

Lesson 14-15：性能工程

把性能从“感觉快”变成可分析、可量化、可优化的系统工程问题。

2026-01-14 Computer System Engineering

计算机系统设计

            
2 / 4

评论