模型论

研究形式语言及其解释(模型)之间的关系的理论。数理逻辑的分支学科。模型论中的概念与方法,主要来源于数理逻辑,也有不少来源于代数,特别是与泛代数的理论联系很密切;此外,由鲁宾孙(A.Robinson,1918～1974)所创始的非标准分析,则是 ......    （本文共 561 字 ）     [阅读本文]>>