About me
欢迎来到草八牛的小屋呀
离散数学与结构 Part3
生成函数，burnside，polya，概率生成函数
haskell 小记
haskell
数学分析 I 习题课
Ohno，这很难
高等代数 I
高等代数 I
数学分析 I
数学分析 I
离散数学与结构 Part1
朴素集合论，命题逻辑，自然演绎，Kripke model，一阶逻辑，Peano 算术，一阶逻辑的完备性，ZFC 集合论，Gödel 不完备定理，初等数论
离散数学与结构 Part2
群同构定理，有限生成Abel群，群作用，类方程，Sylow定理，环同构定理，特殊整环，有限域，不可约多项式
程序设计实习
很喜欢的一门课，讲了很多近似和随机算法
Power Series Composition in Near-Linear Time 学习笔记
双 log 做多项式复合的技术