{
  "contentStorage": "postgres",
  "title": "数学基础 · İlişkiler",
  "description": "数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。",
  "url": "/tr/concepts/mathematical-foundations/relation.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": "tr",
    "fallback": true,
    "availableLangs": [
      "zh",
      "en"
    ],
    "conceptKind": "theme",
    "scopeNote": "按 SWEBOK Guide v4.0a 的一个知识域著录。"
  },
  "entities": null,
  "relations": [
    {
      "id": "relation_software_engineering_broader_than_mathematical_foundations",
      "fromId": "concept_software_engineering",
      "relationType": "broader_than",
      "toId": "concept_mathematical_foundations",
      "sourceRefs": [
        {
          "entityId": "concept_software_engineering",
          "sourceId": "s1"
        }
      ],
      "label": "Broader concepts",
      "targetId": "concept_software_engineering",
      "targetTitle": "软件工程",
      "targetUrl": "/tr/concepts/software-engineering.html",
      "incoming": true
    }
  ],
  "mentions": [
    {
      "fromId": "concept_software_engineering",
      "fromTitle": "软件工程",
      "fromUrl": "/tr/concepts/software-engineering.html",
      "fromType": "concept"
    }
  ],
  "relationGroups": [
    {
      "type": "broader_than",
      "label": "Broader concepts",
      "items": [
        {
          "id": "relation_software_engineering_broader_than_mathematical_foundations",
          "fromId": "concept_software_engineering",
          "relationType": "broader_than",
          "toId": "concept_mathematical_foundations",
          "sourceRefs": [
            {
              "entityId": "concept_software_engineering",
              "sourceId": "s1"
            }
          ],
          "label": "Broader concepts",
          "targetId": "concept_software_engineering",
          "targetTitle": "软件工程",
          "targetUrl": "/tr/concepts/software-engineering.html",
          "incoming": true
        }
      ]
    }
  ],
  "lang": "tr",
  "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
  },
  "relationsTotal": 1,
  "mentionsTotal": 1
}