知识
【Haskell 语言】单子与副作用
函数式语言如何引入副作用:函子、应用函子、单子。
【Haskell 语言】基础概念与语法
函数式语言的基础特性概览:列表、类型与高阶函数。
【范畴论】代数上常见定义对应的泛性质
代数上的定义的范畴论观点:关于笛卡尔积,无交并,直积,直和,积空间,纤维积。
【复分析】基本概念与 Cauchy 积分理论
复变函数基本概念的速通,从复值函数写到 Cauchy 公式及其推论。
【域论】高次方程与 Galois 理论
关于高次方程的根式解:代数基本定理,低次方程求根公式,域扩张,Galois 扩张,Galois 群,根式可解性判断与 Abel-Ruffini 定理。