Programming is about ideas,
languages are just a way to express them.

Math分类

Algebraic Effects 是什么鬼

02-26

语言背后的代数学（十）：Curry-Howard-Lambek correspondance

02-23

语言背后的代数学（九）：笛卡尔闭范畴

02-19

语言背后的代数学（八）：范畴

02-11

语言背后的代数学（七）：数学结构

02-09

语言背后的代数学（六）：Henkin模型

02-04

语言背后的代数学（五）：代数

02-03

语言背后的代数学（四）：哥德尔定理

01-30

语言背后的代数学（三）：语义模型

01-27

语言背后的代数学（二）：初等代数

01-20

语言背后的代数学（一）：语义解释

01-14

李群和李代数

12-25

黎曼几何基础

08-13

良基归纳法

07-30

Free Algebra

07-04

概率论的数学基础

06-28

Pumping Lemma

05-24

递归函数（九）：最小不动点定理

03-21

递归函数（八）：偏序结构

03-20

递归函数（七）：不动点算子

03-14

递归函数（六）：最多有多少个程序

03-10

递归函数（五）：递归集与递归可枚举集

03-09

递归函数（四）：全函数与计算的可终止性

03-06

递归函数（三）：归纳原理

03-03

递归函数（二）：编写递归函数的思路和技巧

02-25

递归函数（一）：开篇

02-24

拓扑学拾趣

08-13

懵逼的上同调群

08-02

可计算性理论名词释义

07-23

不动点算子与完全偏序

06-25

代数数据类型的语法和语义

06-08