数理逻辑 (2) 谓词逻辑

OK! 35 posts in total. Keep on posting.

2024

01-25

数理逻辑 (2) 谓词逻辑

01-22

数理逻辑 (1) 命题逻辑

01-17

Information and Entropy (7) Processes

01-15

Information and Entropy (6) Communication

01-05

Revision | 信息科学中的物理学（上）热学（和一点统计力学）

2023

12-27

Agda 定义中带 with 的函数的归纳：with inspect 和 ⊥ 的使用

12-25

Revision | 高等数学 A I（期末）

12-19

Revision | 线性代数 A（期末）

12-04

Infomation and Entropy (4 ~ 5) Errors & Probablities

11-28

Revision | 信息科学中的物理学（上）力学