本文介绍了原始递归函数及其计算能力。
本文介绍了 χ 语言如何转化到无类型 lambda 演算。
介绍两种定义实数的方式:戴德金分割和柯西序列,并讨论它们的等价性
介绍分离逻辑解决了 Hoare Logic 的什么问题,并介绍分离逻辑相关的概念与证明规则
本文讲解了 Büchi 自动机、 ω-正规语言 和 ω-正则表达式 的概念和 Büchi 自动机 与 ω-正则表达式 之间的互相转换算法。
本文讲解了下推自动机的概念。
整理一个 HoTT 的 Outline,注重易于理解而非严密性。
本文介绍了贝叶斯模型的 overfitting 和 underfitting,以及如何评估、防止 overfitting。
本文介绍了最基本的贝叶斯模型是如何学习的。
本文介绍了贝叶斯因果推理中常用的工具——因果关系图。