postgres
数学基础 · Relaties
数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。
/nl/concepts/mathematical-foundations/relation.html
concept_mathematical_foundations
concept
数学基础
mathematical-foundations
Mathematical Foundations
数学基础讨论软件工程师用来精确推理的逻辑与形式系统，而不是日常算术。
published
category-science-technology
s1
Guide to the Software Engineering Body of Knowledge (SWEBOK Guide) v4.0a
Hironori Washizaki (ed.), IEEE Computer Society
2026-08
https://ieeecs-media.computer.org/media/education/swebok/swebok-v4.pdf
Chapter 17
2026-11-02T01:12:52+08:00
2026-11-02T01:19:55+08:00
user:admin
2
指南认为，软件工程师只能为遵循已充分理解、无歧义的逻辑的事物编写代码。本知识域帮助理解这种逻辑，再把它写成源代码。这里的数学是形式系统的研究：在所研究的系统中设定推理规则，按这些规则推出的结论在该系统内是确定的。它是三个基础知识域之一。[^s1]
该知识域在指南中的一级主题为：
- 基本逻辑
- 证明技术
- 集合、关系与函数
- 图与树
- 有限状态机
- 文法
- 数论
- 计数基础
- 离散概率
- 数值精度、准确度与误差
- 代数结构
- 工程微积分
- 新进展
/concepts/mathematical-foundations.html
nl
true
zh
en
theme
按 SWEBOK Guide v4.0a 的一个知识域著录。
relation_software_engineering_broader_than_mathematical_foundations
concept_software_engineering
broader_than
concept_mathematical_foundations
concept_software_engineering
s1
concept_software_engineering
软件工程
/nl/concepts/software-engineering.html
true
concept_software_engineering
软件工程
/nl/concepts/software-engineering.html
concept
broader_than
relation_software_engineering_broader_than_mathematical_foundations
concept_software_engineering
broader_than
concept_mathematical_foundations
concept_software_engineering
s1
concept_software_engineering
软件工程
/nl/concepts/software-engineering.html
true
nl
zh
en
true
concept_kind
Thema
aliases
Mathematical Foundations
scope_note
按 SWEBOK Guide v4.0a 的一个知识域著录。
1
50
1
1
1
1