数学基础
URL: https://knowledge.ivjn.us/nl/concepts/mathematical-foundations.html

数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。

指南认为，软件工程师只能为遵循已充分理解、无歧义的逻辑的事物编写代码。本知识域帮助理解这种逻辑，再把它写成源代码。这里的数学是形式系统的研究：在所研究的系统中设定推理规则，按这些规则推出的结论在该系统内是确定的。它是三个基础知识域之一。[^s1]


该知识域在指南中的一级主题为：

- 基本逻辑
- 证明技术
- 集合、关系与函数
- 图与树
- 有限状态机
- 文法
- 数论
- 计数基础
- 离散概率
- 数值精度、准确度与误差
- 代数结构
- 工程微积分
- 新进展

Updated: 2026-11-02

Relations:
- Broader concepts: 软件工程 https://knowledge.ivjn.us/nl/concepts/software-engineering.html

Mentioned in:
- 软件工程 https://knowledge.ivjn.us/nl/concepts/software-engineering.html

Sources:
- Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) v4.0a https://ieeecs-media.computer.org/media/education/swebok/swebok-v4.pdf Chapter 17