你永远不知道一个强迫症能干出什么事情

持续整理的在线数学教材，涵盖代数、分析、概率、优化与统计，强调逻辑自洽、证明完整与持续维护。

作者

倪兴程

发布于

2024年10月18日

编译于

2026年7月21日

在线数学笔记 · OPEN NOTES

你永远不知道一个强迫症能干出什么事情

一套持续整理与更新的数学知识体系，贯穿代数、分析、概率、最优化与统计。适合系统阅读，也适合随时查阅。

All knowledge is, in the final analysis, history. All sciences are, in the abstract, mathematics. All judgements are, in their rationale, statistics.
— C. R. Rao

从前言开始查看中英术语表符号与记号

PROOF-FIRST MATHEMATICS

强调证明完整，而不只是罗列结论

致力于建立一套逻辑自洽、证明完整、持续维护的数学知识体系。除非特别说明，每个定理都给出证明。

MAINTENANCE

项目时间线

首次发布: 2024-10-18
最近内容更新: 2026-07-17
网站构建: 2026-07-21

CHANGELOG

内容一览

567定义

294定理

197性质

524证明

查看完整项目状态

OPEN SOURCE

参与这个项目

源文件、错误报告、内容建议与每次更新都公开保存在 GitHub。