---
{
  "aliases": [
    "Mathematical Foundations"
  ],
  "availableLangs": [
    "zh",
    "en"
  ],
  "categories": [
    "category-science-technology"
  ],
  "conceptKind": "theme",
  "createdAt": "2026-11-02T01:12:52+08:00",
  "fallback": true,
  "id": "concept_mathematical_foundations",
  "lang": "th",
  "revision": 2,
  "scopeNote": "按 SWEBOK Guide v4.0a 的一个知识域著录。",
  "slug": "mathematical-foundations",
  "sources": [
    {
      "author": "Hironori Washizaki (ed.), IEEE Computer Society",
      "date": "2026-08",
      "id": "s1",
      "locator": "Chapter 17",
      "title": "Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) v4.0a",
      "url": "https://ieeecs-media.computer.org/media/education/swebok/swebok-v4.pdf"
    }
  ],
  "status": "published",
  "summary": "数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。",
  "tags": [],
  "title": "数学基础",
  "type": "concept",
  "updatedAt": "2026-11-02T01:19:55+08:00",
  "updatedBy": "user:admin"
}
---

# 数学基础

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

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


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

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

更新时间：2026-11-02

## 标签


## 关系

- Broader concepts：[软件工程](/th/concepts/software-engineering.html) 

## 正文反向链接

- [软件工程](/th/concepts/software-engineering.html)

## 来源

- 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