Basic Math Textbook: The Napkin Project
7 months ago
- #education
- #mathematics
- #open-source
- 餐巾纸项目(v1.6)已开放下载，包含最新草案及封面设计
- 项目状态显示1.6版本新增了章节内容、修正排版错误并添加封面插图，更多章节正在筹备中
- 鼓励用户通过GitHub提交PR或issues进行勘误、建议或评论
- 无限大的餐巾纸》是高等数学入门教材，涵盖本科至研究生一年级核心内容，着重呈现学科核心思想
- 本书提供精确定义与定理表述，但更侧重直观阐释而非形式化证明
- 支持分章节PDF下载（注意跨文档超链接可能失效）
- 提供按章节编号的流程图辅助导航
- 该项目拥有活跃社区，正致力于将书中例题转化为人类可读证明及Lean4形式化证明