vEnhance/napkin · 文件 下载 ZIP
文件最后提交记录最后更新时间
README.md
以下内容由 AI 翻译，如有问题请点此提交 issue 反馈
无限大的餐巾纸
这些是 Evan Chen 所著《无限大的餐巾纸》的源文件。 您可以在我的网页上了解该项目的相关信息。
关于
《无限大的餐巾纸》是一本内容轻松且基本自成体系的高等数学入门书， 内容范围大致涵盖本科教学大纲至研究生一年级所学主题。 本书从宏观角度概述了各个数学领域的核心思想，以及这些思想为何如此精彩有趣。 它的详细程度低于正式教科书（但比通俗数学读物更精确），并且假定读者具备证明经验。 因此，例如定义和定理的表述通常会十分完整精确， 但对于某个结果“为何”成立的解释会取代正式的证明过程。
下载
您可以下载最新版本的 PDF 或生成的日志文件。 （感谢aDotInTheVoid 帮助完成了部署系统的初始设置。）
代码
在支持latexmk和asymptote、且安装了足够新版本的 TeX Live 的系统上即可编译该项目。
只需运行latexmk即可。
在安装了 nix 的系统上，则直接运行nix build即可。
欢迎提交拉取请求！ 您也可以直接通过邮件将更正内容发给我。
社区解决方案
目前有一个社区正在致力于为书中的问题与示例提供既便于人类阅读的证明，也有使用 Lean4 编写的证明。详情请见：
- 用 Lean4 编写的《无限大的餐巾纸》正式证明：https://github.com/napkin-community/proofs
- 用 Typst 编写的《无限大的餐巾纸》便于阅读的解决方案：https://github.com/napkin-community/solutions
- 渲染版本：https://napkin-community.github.io/solutions/（同样使用 Typst 编写）
谢谢支持
如果您喜欢这个项目并希望支持我， 可以考虑请我喝杯咖啡。