标签

#笔记 ³⁷

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

#数学 ²⁸

【逻辑学】经典命题逻辑及其强可靠性、强完全性【逻辑学】简单的形式语言及可靠性、完全性证明【类型论】同伦类型论综述与 Martin-Löf 类型论几何学Ⅰ期末复习笔记数学分析Ⅰ期末复习笔记更多 >>

#计算机 ²¹

【密码学】经典数论算法：基于有限域上离散对数/整数分解/二次剩余关于高性能计算的混乱感想记 Rust 编译至 WebAssembly 流程【着色器】综合的光照场景计算概论期末复习笔记（Bird Meertens 形式开始的部分）更多 >>

#代数 ¹⁰

Banach–Tarski 分球定理的证明细节高等代数Ⅰ期末复习笔记高等代数Ⅰ期中复习笔记【域论】高次方程与 Galois 理论【群论】魔方与次正规群列更多 >>

#函数式编程 ⁷

计算概论期末复习笔记（Bird Meertens 形式开始的部分）【Agda 语言】形式化证明所需的主要设施【Haskell 语言】单子与副作用【Haskell 语言】基础概念与语法无类型 λ 演算更多 >>

#群论 ⁵

Banach–Tarski 分球定理的证明细节【群论】魔方与次正规群列多面体对称性：正多面体与更低对称性【群论】群在集合上的作用相关 #群论

#可运行 ⁵

多面体对称性：正多面体与更低对称性基于 Lua 的模拟环境概率论的解释：《概率论沉思录》笔记无类型 λ 演算猫猫棋：一个棋子可变的游戏设计

#展示 ⁴

基于 Lua 的模拟环境猫猫棋：一个棋子可变的游戏设计原创海龟汤列表功能测试

#图形学 ⁴

【着色器】综合的光照场景【着色器】随机与噪声【着色器】色彩与复杂绘制【着色器】GLSL 的基础用法与技巧

#分析 ⁴

数学分析Ⅰ期末复习笔记【复分析】间章：Laurent 级数、留数与调和函数【复分析】基本概念与 Cauchy 积分理论 #微积分学

#几何 ⁴

几何学Ⅰ期末复习笔记光滑流形上的微分与微分形式几何学Ⅰ期中复习笔记希尔伯特第三问题：多面体剪接的 Dehn 不变量

#范畴论 ³

【范畴论】练习：定义验证与泛性质使用【范畴论】代数上常见定义对应的泛性质 #范畴论

#算法 ³

Hash 与基于哈希的 table 实现【量子信息】基本原理与基本结论迷宫生成算法：固定大小迷宫与无限迷宫

#游戏 ³

使用带锁盒子的传递模型猫猫棋：一个棋子可变的游戏设计原创海龟汤列表

#密码学 ³

【密码学】经典数论算法：基于有限域上离散对数/整数分解/二次剩余【密码学】异或密码与 AES #密码学

#基石 ³

【逻辑学】经典命题逻辑及其强可靠性、强完全性【逻辑学】简单的形式语言及可靠性、完全性证明【类型论】同伦类型论综述与 Martin-Löf 类型论

#Euclid 几何 ³

几何学Ⅰ期末复习笔记几何学Ⅰ期中复习笔记希尔伯特第三问题：多面体剪接的 Dehn 不变量

#量子物理 ²

《初识量子力学》笔记（上）：海森堡绘景到薛定谔绘景【量子信息】基本原理与基本结论

#逻辑学 ²

【逻辑学】经典命题逻辑及其强可靠性、强完全性【逻辑学】简单的形式语言及可靠性、完全性证明

#线性代数 ²

高等代数Ⅰ期末复习笔记高等代数Ⅰ期中复习笔记

#物理 ²

《初识量子力学》笔记（上）：海森堡绘景到薛定谔绘景《初识经典力学》笔记：哈密顿量

#微积分学 ²

数学分析Ⅰ期末复习笔记 #微积分学

#复分析 ²

【复分析】间章：Laurent 级数、留数与调和函数【复分析】基本概念与 Cauchy 积分理论

#域论 ²

【域论】高次方程与 Galois 理论 #域论

#发布 ²

基于 Lua 的模拟环境本站说明 - 2025

#统计学 ¹

概率论的解释：《概率论沉思录》笔记

#经典物理 ¹

《初识经典力学》笔记：哈密顿量

#类型论 ¹

【类型论】同伦类型论综述与 Martin-Löf 类型论

#概率论 ¹

概率论的解释：《概率论沉思录》笔记

#文学 ¹

《百年新诗选》诗选

#拓扑 ¹

#微分几何 ¹

光滑流形上的微分与微分形式

#交换代数 ¹

#Galois 理论 ¹

【域论】高次方程与 Galois 理论