这一系列整理数学区其他内容会反复使用的语言和结构。内容从命题与证明开始，逐步进入集合、函数、不等式、复数等主题。

第一批迁移把 Math-for-Computer-Science 的证明章节改写成了六篇可以独立阅读的笔记。第二批加入了集合、函数、数系与算法、不等式和复数。发布前会同时检查数学表述和英文原文质量，源文件生成的插图则暂时标为待导出，避免出现损坏的图片。

计划阅读路径

  1. 命题与公理系统
  2. 直接证明、间接证明与数学归纳法
  3. 集合、函数、序列与求和
  4. 数系、算法与递归
  5. 不等式
  6. 复数

章节地图