分类

知识 ³⁸

【逻辑学】经典命题逻辑及其强可靠性、强完全性 【逻辑学】简单的形式语言及可靠性、完全性证明 【类型论】同伦类型论综述与 Martin-Löf 类型论 《初识量子力学》笔记（上）：海森堡绘景到薛定谔绘景 【密码学】经典数论算法：基于有限域上离散对数/整数分解/二次剩余 更多 >>

杂物 ⁸

推荐一个 Markdown 转 PDF 的流程 关于高性能计算的混乱感想 魔术效果的构造 《百年新诗选》诗选 基于 Lua 的模拟环境 更多 >>

项目 ⁴

本站说明 - 2025 FAQs 功能测试 友链