模型论是什么意思?
再说说「模型论」有什么含义、怎么理解?
拼音mó xíng lùn
字母mo xing lun
首字母mxl
注音ㄇㄛˊ ㄒㄧㄥˊ ㄌㄨㄣˋ
注音符号ㄇㄛ ㄒㄧㄥ ㄌㄨㄣ
模型论(Model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,L-S-T 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用 ,而且也在数论、代数、拓扑等数学学科中得到应用。
再说说「模型论」有什么含义、怎么理解?
模型论(Model theory)是数学的一个学科,模型论的一些重要定理,如紧致性定理,L-S-T 定理,省略型定理, 插值定理等等,不仅对逻辑,集合论,递归论的研究有重要作用 ,而且也在数论、代数、拓扑等数学学科中得到应用。