{
  "contentStorage": "postgres",
  "title": "数学基础 · Versi kandungan",
  "description": "数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。",
  "url": "/ms/concepts/mathematical-foundations/versions.html",
  "entity": {
    "id": "concept_mathematical_foundations",
    "type": "concept",
    "title": "数学基础",
    "slug": "mathematical-foundations",
    "aliases": [
      "Mathematical Foundations"
    ],
    "summary": "数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。",
    "status": "published",
    "categories": [
      "category-science-technology"
    ],
    "tags": [],
    "sources": [
      {
        "id": "s1",
        "title": "Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) v4.0a",
        "author": "Hironori Washizaki (ed.), IEEE Computer Society",
        "date": "2026-08",
        "url": "https://ieeecs-media.computer.org/media/education/swebok/swebok-v4.pdf",
        "locator": "Chapter 17"
      }
    ],
    "createdAt": "2026-11-02T01:12:52+08:00",
    "updatedAt": "2026-11-02T01:19:55+08:00",
    "updatedBy": "user:admin",
    "revision": 2,
    "body": "指南认为，软件工程师只能为遵循已充分理解、无歧义的逻辑的事物编写代码。本知识域帮助理解这种逻辑，再把它写成源代码。这里的数学是形式系统的研究：在所研究的系统中设定推理规则，按这些规则推出的结论在该系统内是确定的。它是三个基础知识域之一。[^s1]\n\n\n该知识域在指南中的一级主题为：\n\n- 基本逻辑\n- 证明技术\n- 集合、关系与函数\n- 图与树\n- 有限状态机\n- 文法\n- 数论\n- 计数基础\n- 离散概率\n- 数值精度、准确度与误差\n- 代数结构\n- 工程微积分\n- 新进展",
    "url": "/concepts/mathematical-foundations.html",
    "lang": "ms",
    "fallback": true,
    "availableLangs": [
      "zh",
      "en"
    ],
    "conceptKind": "theme",
    "scopeNote": "按 SWEBOK Guide v4.0a 的一个知识域著录。"
  },
  "entities": null,
  "versions": [
    {
      "revision": 2,
      "updatedAt": "2026-11-02T01:19:55+08:00",
      "message": "当前版本",
      "hasSnapshot": true,
      "url": "/ms/concepts/mathematical-foundations/at/2.html"
    }
  ],
  "lang": "ms",
  "availableLangs": [
    "zh",
    "en"
  ],
  "fallback": true,
  "infoFields": [
    {
      "key": "concept_kind",
      "label": "Concept kind",
      "value": "Tema"
    },
    {
      "key": "aliases",
      "label": "Aliases",
      "value": "Mathematical Foundations"
    },
    {
      "key": "scope_note",
      "label": "Scope note",
      "value": "按 SWEBOK Guide v4.0a 的一个知识域著录。"
    }
  ],
  "pagination": {
    "page": 1,
    "pageSize": 50,
    "total": 1,
    "pageCount": 1
  }
}