数学结构

数学结构 王道谊 2020年9月8日 基本概念:集合。基于形式系统的集合+关系构成基本数学模型。 通用方法:公理化方法。基本概念衍生派生概念,基于数理逻辑利用公理和基本概念衍生系列定理构建特定学科分支,以集合和一阶逻辑为基础构建公理系统。 逻辑基础:数理逻辑。推理的两个方面:内容+形式,形式系统有形式语言、推理规则和公理集合构成,是公理系统的形式框架。  
相关文章
相关标签/搜索