grass8cow - 草八牛的小站

Created2025-10-10

欢迎来到草八牛的小屋呀

Created2025-10-30|课堂笔记高三上半学期

haskell

数学分析 I 习题课

Created2025-10-11|课堂笔记高三上半学期

Ohno，这很难

Created2025-10-10|课堂笔记高三上半学期

高等代数 I

Created2025-10-10|课堂笔记高三上半学期

数学分析 I

离散数学与结构 Part1

Created2025-10-10|课堂笔记高三上半学期

朴素集合论，命题逻辑，自然演绎，Kripke model，一阶逻辑，Peano 算术，一阶逻辑的完备性，ZFC 集合论，Gödel 不完备定理，初等数论

离散数学与结构 Part2

Created2025-10-10|课堂笔记高三上半学期

群同构定理，有限生成Abel群，群作用，类方程，Sylow定理，环同构定理，特殊整环

Power Series Composition in Near-Linear Time 学习笔记

Created2025-04-20|算法论文

双 log 做多项式复合的技术

程序设计实习

Created2025-04-20|课堂笔记高二下半学期

很喜欢的一门课，讲了很多近似和随机算法