错行

标签

#数学 41

从单形到无穷范畴理论 类型论发展与思想综述 光滑流形上的定向与积分 （椭圆）模形式基本定义与结构 Universals and Limits 习题选做 更多 >>

#计算机 23

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

#基石 9

类型论发展与思想综述 集合范畴基本理论（ETCS）简介 一阶逻辑的元定理与边界 命题模态逻辑与知识逻辑 关于滤子：极限及“最终”模态词诱导 更多 >>

#代数学 9

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

#分析学 7

数学分析Ⅱ期末复习笔记 关于滤子：极限及“最终”模态词诱导 数学分析Ⅱ期中复习笔记 数学分析Ⅰ期末复习笔记 单复变 Weierstrass 级数理论 更多 >>

#计算理论 6

Bird Meertens 形式与高效程序导出 Agda 语言与基本的形式化证明 Haskell 的单子与副作用 LISP 模式：图灵完备及元编程 无类型 λ 演算与重写系统 更多 >>

#几何学 6

光滑流形上的定向与积分 几何学Ⅱ期中复习笔记 几何学Ⅰ期末复习笔记 光滑流形上的微分与微分形式 几何学Ⅰ期中复习笔记 更多 >>

#范畴论 5

从单形到无穷范畴理论 Universals and Limits 习题选做 集合范畴基本理论（ETCS）简介 一些泛性质使用的习题选做 一些简单定义的范畴论观点

#拓扑学 4

从单形到无穷范畴理论 同调论的拓扑基础与持续同调 几何学Ⅱ期末复习笔记 关于滤子：极限及“最终”模态词诱导

#算法 3

Hash 与基于哈希的 table 实现 量子信息的基本原理与基本结论 迷宫生成算法的若干方案

#物理 3

《初识量子力学》笔记（上） 量子信息的基本原理与基本结论 《初识经典力学》笔记：哈密顿量

#游戏 3

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

#密码学 3

基于有限域上数论的密码系统 异或密码的实现与 AES #密码学

#图形学 3

着色器中的随机与噪声 基于 GLSL 的色彩与数学绘制 GLSL 的基础用法与 Raymarching

#量子物理 2

《初识量子力学》笔记（上） 量子信息的基本原理与基本结论

#组合学 2

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

#数论 2

（椭圆）模形式基本定义与结构 基于有限域上数论的密码系统

#哲学 2

关于怀疑论的若干衡量 命题模态逻辑与知识逻辑

#统计学 1

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

#经典物理 1

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

#概率论 1

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

#文学 1

《百年新诗选》诗选