{
  "contentStorage": "postgres",
  "title": "Mathematical Foundations · Relations",
  "description": "Mathematical foundations cover the logic and formal systems a software engineer uses for precise reasoning, rather than everyday arithmetic.",
  "url": "/en/concepts/mathematical-foundations/relation.html",
  "entity": {
    "id": "concept_mathematical_foundations",
    "type": "concept",
    "title": "Mathematical Foundations",
    "slug": "mathematical-foundations",
    "aliases": [
      "数学基础"
    ],
    "summary": "Mathematical foundations cover the logic and formal systems a software engineer uses for precise reasoning, rather than everyday arithmetic.",
    "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:19:55+08:00",
    "updatedAt": "2026-11-02T01:19:55+08:00",
    "updatedBy": "user:admin",
    "revision": 2,
    "body": "The Guide states that a software engineer can write code only for something that follows well-understood, unambiguous logic. This knowledge area helps the engineer comprehend that logic and then translate it into source code. The mathematics here is the study of formal systems: rules of reasoning are set for the system under study, and what follows from those rules is certain within that system. It is one of the three foundation knowledge areas.[^s1]\n\n\nThe Guide's top-level topics for this knowledge area are:\n\n- Basic Logic\n- Proof Techniques\n- Set, Relation, Function\n- Graph and Tree\n- Finite-State Machine\n- Grammar\n- Number Theory\n- Basics of Counting\n- Discrete Probability\n- Numerical Precision, Accuracy, and Error\n- Algebraic Structures\n- Engineering Calculus\n- New Advancements",
    "url": "/concepts/mathematical-foundations.html",
    "lang": "en",
    "availableLangs": [
      "zh",
      "en"
    ],
    "conceptKind": "theme",
    "scopeNote": "One knowledge area of 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": "Software Engineering",
      "targetUrl": "/en/concepts/software-engineering.html",
      "incoming": true
    }
  ],
  "mentions": [
    {
      "fromId": "concept_software_engineering",
      "fromTitle": "Software Engineering",
      "fromUrl": "/en/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": "Software Engineering",
          "targetUrl": "/en/concepts/software-engineering.html",
          "incoming": true
        }
      ]
    }
  ],
  "lang": "en",
  "availableLangs": [
    "zh",
    "en"
  ],
  "infoFields": [
    {
      "key": "concept_kind",
      "label": "Concept kind",
      "value": "Theme"
    },
    {
      "key": "aliases",
      "label": "Aliases",
      "value": "数学基础"
    },
    {
      "key": "scope_note",
      "label": "Scope note",
      "value": "One knowledge area of SWEBOK Guide v4.0a."
    }
  ],
  "pagination": {
    "page": 1,
    "pageSize": 50,
    "total": 1,
    "pageCount": 1
  },
  "relationsTotal": 1,
  "mentionsTotal": 1
}