标签

#数学 ⁴⁰

几何学Ⅱ期末复习笔记高等代数Ⅱ期末复习笔记数学分析Ⅱ期末复习笔记天使与方格吞噬者问题的策略模拟 ETCS 理论简介更多 >>

#计算机 ²⁴

记 MarkItDown 工具试用天使与方格吞噬者问题的策略模拟推荐一个 Markdown 转 PDF 的流程【密码学】有限域上的数论算法关于高性能计算的混乱感想更多 >>

#代数学 ¹²

高等代数Ⅱ期末复习笔记高等代数Ⅱ期中复习笔记 Banach–Tarski 分球定理的证明细节高等代数Ⅰ期末复习笔记高等代数Ⅰ期中复习笔记更多 >>

#基石 ⁷

ETCS 理论简介【逻辑学】一阶逻辑及其边界【逻辑学】模态逻辑及其应用关于滤子：极限及“最终”模态词诱导【逻辑学】经典命题逻辑及其元定理更多 >>

#分析学 ⁷

数学分析Ⅱ期末复习笔记关于滤子：极限及“最终”模态词诱导数学分析Ⅱ期中复习笔记数学分析Ⅰ期末复习笔记【复分析】间章：Laurent 级数、留数与调和函数更多 >>

#函数式编程 ⁷

计算概论期末复习笔记（Bird Meertens 形式开始的部分）【Agda 语言】形式化证明所需的主要设施【Haskell 语言】单子与副作用【Haskell 语言】基础概念与语法 LISP 模式：图灵完备及元编程更多 >>

#几何学 ⁵

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

#逻辑学 ⁴

【逻辑学】一阶逻辑及其边界【逻辑学】模态逻辑及其应用【逻辑学】经典命题逻辑及其元定理【逻辑学】简单的形式语言及可靠性、完全性证明

#图形学 ⁴

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

#范畴论 ³

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

#算法 ³

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

#游戏 ³

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

#拓扑学 ³

几何学Ⅱ期末复习笔记关于滤子：极限及“最终”模态词诱导 #点集拓扑

#密码学 ³

【密码学】有限域上的数论算法【密码学】异或密码与 AES #密码学

#量子物理 ²

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

#组合学 ²

天使与方格吞噬者问题的策略模拟使用带锁盒子的传递模型

#物理 ²

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

#统计学 ¹

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

#经典物理 ¹

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

#概率论 ¹

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

#文学 ¹

《百年新诗选》诗选

#哲学 ¹

关于怀疑论的若干衡量