欢迎欢迎.jpg

精选文章

从紧致性到量词消去

2024-12-12 · 数理逻辑 / 证明论

一些甜品级科研的感悟

2024-05-27 · 受苦

专题导航

数理逻辑/TCS

收录数理逻辑、理论计算机与相关学习笔记。

认知科学

收录计算认知神经科学方向的思考与相关记录。

物理与建模

收录物理课程笔记、动力系统与建模相关文章。