Revision | 软件科学基础

Nice! 52 posts in total. Keep on posting.

2024

06-16

Revision | 软件科学基础

06-11

Revision | 程序设计实习

06-04

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

04-21

Revision | AI 基础（期中）

03-04

Tensor Analysis (3) Tensor Calculus

02-22

Windows 下 VsCoq 配置踩坑记录（基于 wsl）

01-25

在 Agda 中定义演绎系统并进行定理证明

01-25

数理逻辑 (2) 谓词逻辑

01-22

数理逻辑 (1) 命题逻辑

01-17

Information and Entropy (7) Processes