数学基础

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

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

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