# Mathematics Notes

**Repository Path**: yecr/mathematics-notes

## Basic Information

- **Project Name**: Mathematics Notes
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: MulanPSL-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 0
- **Created**: 2026-10-09
- **Last Updated**: 2026-10-12

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 数学系本科课程笔记工程

> **定位**：为数学系本科主干课程建立**可持续、可复用、可验收**的分节笔记体系。
> **组织方式**：一门课一个目录；课内按「章目录 + 一小节一文件」组织；全库由同一套写作规范与验收脚本约束，可交叉引用。
> **面向读者**：初学者。以"能读懂、能自查、能用来自学"为标准，不做题目汇编。

## 写在前面

**先看三个问题——它们中学生就能读懂，但都不好惹。**

**第一，为什么二次、三次、四次方程都有求根公式，五次方程却没有？** 前三种，有人把根的表达式直接用系数写了出来；到了五次，公式突然消失了。这不是"还没人找到"——**是被证明了根本不存在**。一个"找不到"能被证明成"不可能找到"，这件事本身就是数学最锋利的地方。

**第二，一条线段上的点，和整个平面上的点，哪个多？** 线段只有长度，平面却有面积，直觉说平面上的点多得多。**可是答案是一样多**：证明它只需要画一条曲线，而这条曲线会让你的直觉当场失效。

**第三，"这句话是假的"——它到底是真的还是假的？** 说它真，它就假；说它假，它就真。这不是文字游戏：**在一个足够强、足够一致的算术系统里，总有一句话既证不出来、也否证不掉**——而这句话本身，是被证明过的定理。

**数学和你在中学学的那个东西，不太一样。** 中学数学的主线是**算**：算得快、算得准、算得巧。往后走，主线换成**证**：你说一个结论成立，就要给出一个证明——每一步都能被别人独立复核，不含"显然"，不含"你应该懂"。**算得对不算赢，说得清才算赢。**

**这也是数学最特别的地方：它是人类所有知识里，"对错"能被彻底检查的那一门。** 别的领域里，一个结论要等很多年、等更多人试过、等权威表态；数学里不必。一个证明写下来，谁能指出漏洞谁就赢；指不出来，**它就站住了**。老师说的不算，书上写的不算，**只有你能自己再走一遍的那条路才算。**

**数学极其宏大，而这里有一个现实的选择。** 往上看，数学的版图大得惊人——今天研究生阶段的数学，**早已不可能被单独一个人全面掌握**：一个人穷尽一生，也只能守住其中一小块。**但本科这一段还可以。** 本科数学是一门一门搭起来的：分析、代数、几何、概率、逻辑，彼此有接口，能连成一张网。**这是你一生中最后一段可以把数学"整体走一遍"的时间**——再往后，你就得挑一块地扎下去。这份笔记只覆盖这一段，正是因为这件事。

**它也是最便宜的实验室。** 一支笔，一叠纸，一段无人打扰的时间。你可以在一个下午里，把人类花了几百年才想通的一件事，自己重新想通一遍——那一刻的感觉很难描述，但有过一次之后，你就很难再对"我大概懂了"这种说法感到满足。

**数学身上有一种很特别的浪漫：它让有限的东西去处理无限。** 你的脑袋是有限的，纸是有限的，一生的时间是有限的；可你写下的符号能指向无穷——你能证明"对每一个整数都成立"，你能让一个方程的解集铺满整条直线。**你还能和一百年后的人用同一套符号、同一个证明对话**：一个正确的证明不会过期，不因时代变了而失效。**它是人类手里最接近"永久"的东西。**

**还有一件很少有人提前告诉你的事：学会那些精妙的思想，本身就是一种享受，而且是任何物质享乐都替代不了的那一种。** 吃到好东西、买到想要的东西，快乐来得快，走得也快；"忽然看懂"的那一瞬间不会——它会留在你身上，变成你看世界的方式：你会开始看见结构、看见对称、看见一件事背后真正的骨架。**你会拥有一些别人拿不走的东西**：不占地方，不会被偷走，也不随行情涨落。**这是少数几种能陪你一辈子的快乐。**

**在 AI 时代，这一切不是变得更不值钱，而是变得更要紧——但原因和很多人想的不一样。**

**先说清楚一件事：AI 的证明已经可以被机器验证。** 像 Lean 这样的证明助手，能把数学写成机器可检验的形式：一段证明对不对，不需要人点头，机器跑一遍就知道。**数学因此成为人类知识里唯一能"全自动验收"的门类**——这是别的学科拿不到的红利，而 AI 正在把这份红利兑现得越来越快。所以"AI 会不会取代数学工作者"这个问法本身就偏了：**被取代的是"把证明写对"这件事的一部分，不是数学本身。**

**那么人的位置在哪里？往上移。** 当"把证明写对"越来越便宜，值钱的东西就换成了这些：**提出值得证的问题**（好问题比好答案稀有得多）；**选对定义**（定义一改，整座理论就换了形状）；**判断什么值得做**；**把现实里模糊的东西翻译成精确的语言**——这恰恰是最难的一步；以及**在机器还站不住的地方工作**：直觉、猜想、类比、把一个领域的工具搬到另一个领域。**这些事机器会帮，但不会替。**

**AI 也确实让自学容易了，这一点不必假装看不见。** 你可以随时提问，可以让它换一种说法解释同一个定理，可以让它先质疑你的思路，可以让它给你一个反例来检验你刚建立的理解——一个不知疲倦、永远在场的陪练。**但有一件事它替不了你：长出直觉。** 直觉只来自你亲手把一件事想穿的那几个小时——来自你自己算过的那个例子、自己画过的那张图、自己在某处卡住又忽然通了的那个瞬间。**别人给你的理解，只能借，不能拥有。**

**所以在 AI 时代学数学，不是逆流而上，而是站到最硬的那块地面上。** 机器越强，"能读懂结构、能判断对错、能把话说得没有歧义"的人就越稀缺。**你不需要比机器算得快——你需要比机器更知道该算什么。**

**这条路很长，但它不需要门票。** 没有先修，没有考试，没有截止日期。下面这 27 门课，每一门都能自学；全部加起来约 **722 小时**——这就是全部成本。

这份笔记想做的事很简单：**把该想清楚的地方，一处一处想清楚。** 起点是"看不懂"，终点是"我能自己讲给别人听"。它不会替你走路，它只是把路标立好、把坑填平、把每一步都写在明面上。

**数学不会安慰你，但它从不骗你。** 世界很吵，而这里有件事，你可以自己弄清楚。

如果你愿意，就从下面 27 门里挑一门，现在开始。
## 一、课程总览

全库 **27 门课**，共 **1,350 篇 Markdown 文档**，正文合计 **约 892 万字**，编号条目 **约 2.0 万条**（定义 / 定理 / 引理 / 推论 / 命题 / 例 / 反例），初学者自学合计 **约 722 小时**。

| 编号 | 课程 | 文档数 | 字数 | 编号条目 | 学习用时 | 建议学期 |
| --- | --- | ---: | ---: | ---: | ---: | ---: |
| `MATH-1.1.01` | [数学分析](数学分析/README.md) | 88 | 约 51.5 万字 | 1590 | 约 46 小时 | 2–3 |
| `MATH-1.2.01` | [高等代数](高等代数/README.md) | 84 | 约 43.4 万字 | 1236 | 约 39 小时 | 2 |
| `MATH-2.2.01` | [初等数论](初等数论/README.md) | 55 | 约 23.1 万字 | 712 | 约 21 小时 | 1 |
| `MATH-2.5.01` | [组合数学](组合数学/README.md) | 86 | 约 36.4 万字 | 1193 | 约 34 小时 | 1（偏重） |
| `MATH-2.2.02` | [抽象代数](抽象代数/README.md) | 48 | 约 48 万字 | 1173 | 约 41 小时 | 2 |
| `MATH-4.2.01` | [代数几何初步](代数几何初步/README.md) | 60 | 约 27.8 万字 | 1,006 | 约 28 小时 | 2 学期 |
| `MATH-4.2.02` | [密码学初步](密码学初步/README.md) | 61 | 约 28.3 万字 | 1054 | 约 28 小时 | 1 学期·偏重 |
| `MATH-2.1.03` | [实变函数](实变函数/README.md) | 42 | 约 28.2 万字 | 623 | 约 22 小时 | 1 |
| `MATH-2.1.02` | [复变函数](复变函数/README.md) | 47 | 约 45.5 万字 | 827 | 约 33 小时 | 1（偏重） |
| `MATH-3.1.01` | [泛函分析](泛函分析/README.md) | 44 | 约 34.4 万字 | 647 | 约 26 小时 | 1 |
| `MATH-2.3.01` | [拓扑学](拓扑学/README.md) | 68 | 约 45.7 万字 | 966 | 约 35 小时 | 2 |
| `MATH-1.3.01` | [解析几何](解析几何/README.md) | 72 | 约 48.7 万字 | 821 | 约 36 小时 | 1 |
| `MATH-1.6.01` | [数理逻辑](数理逻辑/README.md) | 61 | 约 34.9 万字 | 1017 | 约 30 小时 | 2 |
| `MATH-2.3.02` | [微分几何](微分几何/README.md) | 34 | 约 34.1 万字 | 517 | 约 23 小时 | 1 |
| `MATH-3.3.01` | [微分流形](微分流形/README.md) | 56 | 约 33.6 万字 | 846 | 约 27 小时 | 1 |
| `MATH-2.1.01` | [常微分方程](常微分方程/README.md) | 21 | 约 19.3 万字 | 421 | 约 16 小时 | 1 |
| `MATH-3.1.02` | [偏微分方程](偏微分方程/README.md) | 19 | 约 13.9 万字 | 246 | 约 11 小时 | 1 |
| `MATH-3.1.03` | [动力系统初步](动力系统初步/README.md) | 39 | 约 29.4 万字 | 603 | 约 23 小时 | 1 |
| `MATH-3.5.01` | [数值分析](数值分析/README.md) | 53 | 约 39.2 万字 | 727 | 约 30 小时 | 1（偏重） |
| `MATH-2.4.01` | [概率论](概率论/README.md) | 46 | 约 44.2 万字 | 793 | 约 33 小时 | 1–2 |
| `MATH-2.4.02` | [数理统计](数理统计/README.md) | 36 | 约 31 万字 | 518 | 约 22 小时 | 1 |
| `MATH-3.4.01` | [随机过程](随机过程/README.md) | 20 | 约 26.5 万字 | 340 | 约 18 小时 | 1 |
| `MATH-4.4.01` | [信息论](信息论/README.md) | 20 | 约 18.8 万字 | 271 | 约 13 小时 | 1 |
| `MATH-3.2.01` | [群表示论](群表示论/README.md) | 19 | 约 13.8 万字 | 263 | 约 10 小时 | 1 |
| `MATH-3.5.02` | [凸优化](凸优化/README.md) | 53 | 约 27.3 万字 | 636 | 约 21 小时 | 1 |
| `MATH-4.5.01` | [运筹学](运筹学/README.md) | 65 | 约 28.9 万字 | 663 | 约 24 小时 | 1 |
| `MATH-4.5.02` | [数学建模](数学建模/README.md) | 53 | 约 36.3 万字 | 659 | 约 33 小时 | 1 |
| — | **合计** | **1,350** | **约 892 万字** | **20,368** | **约 722 小时** | — |

**建议学期**按本库内容规模与国内数学系培养方案的常见定位估算，非任何一所学校的课程设置，仅供参考。

**建议学期分组**：**1 学期**（16 门）｜**1 学期·偏重**（4 门：《组合数学》、《复变函数》、《数值分析》、《密码学初步》）｜**1–2 学期**（1 门：《概率论》）｜**2 学期**（5 门：《高等代数》、《抽象代数》、《拓扑学》、《数理逻辑》、《代数几何初步》）｜**2–3 学期**（1 门：《数学分析》）　**（16 ＋ 4 ＋ 1 ＋ 5 ＋ 1 ＝ 27 门，与课程总数一致）**

> **工程约定**（目录规范、每篇小节文档的固定骨架、写作规范要点、统计口径、协作者入口）已移至 [本科数学笔记工程档案/工程约定与写作规范.md](本科数学笔记工程档案/工程约定与写作规范.md)——**本 README 只保留读者关心的内容**。

## 二、课程编号与先修依赖

本工作区为 27 门课设计了**课程编号**（**只用于文档内标注，目录名保持不变**）。格式：

```
MATH-<层次>.<学科>.<序号>
```

- **层次**（第 1 段）：`1` 地基 → `2` 核心 → `3` 进阶 → `4` 专门化／应用。**编号越大 = 越靠后学**。
- **学科**（第 2 段）：`1` 分析 ｜ `2` 代数 ｜ `3` 几何·拓扑 ｜ `4` 概率·统计 ｜ `5` 计算·应用·离散 ｜ `6` 逻辑·基础。
- **序号**（第 3 段）：两位补零（`01`、`02`…），同学科内的先后。

下表同时就是**先修依赖表**：按表中的课程顺序读即是一条可行的学习序；"先修课程"一列给出**直接**必须先具备的课程，**一律写课程名、不加书名号**。★ **依赖是传递的**：若 A 依赖 B、B 依赖 C，则该行**只写 B**（C 已由 B 保证），因此表里**不会同时出现两条有包含关系的先修**——例如依赖抽象代数时**不再重写高等代数**，只保留抽象代数。

| 编号 | 课程 | 先修课程 |
| --- | --- | --- |
| `MATH-1.1.01` | [数学分析](数学分析/README.md) | 无 |
| `MATH-1.2.01` | [高等代数](高等代数/README.md) | 无 |
| `MATH-1.3.01` | [解析几何](解析几何/README.md) | 高等代数 |
| `MATH-1.6.01` | [数理逻辑](数理逻辑/README.md) | 实变函数、组合数学 |
| `MATH-2.1.01` | [常微分方程](常微分方程/README.md) | 数学分析、高等代数 |
| `MATH-2.1.02` | [复变函数](复变函数/README.md) | 数学分析 |
| `MATH-2.1.03` | [实变函数](实变函数/README.md) | 数学分析 |
| `MATH-2.2.01` | [初等数论](初等数论/README.md) | 无 |
| `MATH-2.2.02` | [抽象代数](抽象代数/README.md) | 高等代数 |
| `MATH-2.3.01` | [拓扑学](拓扑学/README.md) | 实变函数、抽象代数 |
| `MATH-2.3.02` | [微分几何](微分几何/README.md) | 解析几何、数学分析 |
| `MATH-2.4.01` | [概率论](概率论/README.md) | 高等代数、实变函数 |
| `MATH-2.4.02` | [数理统计](数理统计/README.md) | 概率论 |
| `MATH-2.5.01` | [组合数学](组合数学/README.md) | 无 |
| `MATH-3.1.01` | [泛函分析](泛函分析/README.md) | 实变函数、高等代数 |
| `MATH-3.1.02` | [偏微分方程](偏微分方程/README.md) | 常微分方程 |
| `MATH-3.1.03` | [动力系统初步](动力系统初步/README.md) | 常微分方程 |
| `MATH-3.2.01` | [群表示论](群表示论/README.md) | 抽象代数 |
| `MATH-3.3.01` | [微分流形](微分流形/README.md) | 高等代数、拓扑学、微分几何 |
| `MATH-3.4.01` | [随机过程](随机过程/README.md) | 概率论 |
| `MATH-3.5.01` | [数值分析](数值分析/README.md) | 数学分析、高等代数 |
| `MATH-3.5.02` | [凸优化](凸优化/README.md) | 高等代数、数学分析 |
| `MATH-4.2.01` | [代数几何初步](代数几何初步/README.md) | 拓扑学 |
| `MATH-4.2.02` | [密码学初步](密码学初步/README.md) | 初等数论、概率论、代数几何初步 |
| `MATH-4.4.01` | [信息论](信息论/README.md) | 数理统计 |
| `MATH-4.5.01` | [运筹学](运筹学/README.md) | 数学分析、概率论、组合数学 |
| `MATH-4.5.02` | [数学建模](数学建模/README.md) | 数值分析、运筹学、数理统计、常微分方程 |

**说明**：层次 `1` 的数学分析、高等代数、解析几何三门互不依赖（同属层次 `1` 的数理逻辑另有先修，见上表）；层次 `4` 的课程（代数几何初步、密码学初步、信息论、运筹学／数学建模）属专门化与应用，可在层次 2–3 的相关课后并行选修。**编号仅用于阅读与索引，不影响任何文件路径。**

## 三、其他文件在哪

本目录下**除本 README 外只有目录**：

| 目录 | 内容 |
| --- | --- |
| **27 个课程目录** | 各课正文、章导读、课程 `README.md`（课程导论已并入其中） |
| `本科数学笔记工程档案/课程辅助文件/<课程名>/` | 各课辅助文件：`_教材目录.md`、`_写作规范.md`、`_符号约定.md`、`_写作任务说明.md`、`_定义与定理总表.md`、`_例题与反例总表.md`、`_审校记录.md`、`_主题串联.md`、`_完整性校验.ps1`、`_生成索引.ps1`、`_引用诊断.ps1` |
| [`本科数学笔记工程档案/`](本科数学笔记工程档案/) | **唯一的非课程目录**：方法资产（协作规则、写作 / 时长 / 新建课程规格、验收脚本模板、审稿判据与规格、合计复算工具）＋ 交付物（[全部课程参考资料](<本科数学笔记工程档案/全部课程参考资料（DeepSeek）.md>)、[四门新课教学目录](<本科数学笔记工程档案/四门新课教学目录（DeepSeek 拟）.md>)、[数值分析跨课程前置依据](<本科数学笔记工程档案/数值分析跨课程前置依据（DeepSeek）.md>)、跨课程重复讲解裁定表） |
| [`本科数学笔记工程档案/过程档/`](本科数学笔记工程档案/过程档/) | 过程记录：工程进度看板、资料调研报告、参考视频清单 |
| [`本科数学笔记工程档案/专题串联/`](本科数学笔记工程档案/专题串联/) | **跨课程串联文档**（如《[集合论与逻辑·分布地图](本科数学笔记工程档案/专题串联/集合论与逻辑·分布地图.md)》）：回答"想学什么 → 去哪个课的哪一节 → 按什么顺序"；本库不收的部分也在此列明 |

---