번역이 없어 중국어 원문을 표시합니다.

개념 · concept_mathematical_foundations

数学基础 · 콘텐츠 버전

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

수정 기록