APP 研究形式语言及其解释(模型)之间的关系的理论。数理逻辑的分支学科。模型论中的概念与方法,主要来源于数理逻辑,也有不少来源于代数,特别是与泛代数的理论联系很密切;此外,由鲁宾孙(A.Robinson,1918～1974)所创始的非标准分析,则是 （本文共 561 字 ） [阅读本文] >>
海量资源，尽在掌握
研究形式语言及其解释(模型)之间的关系的理论。数理逻辑的分支学科。模型论中的概念与方法,主要来源于数理逻辑,也有不少来源于代数,特别是与泛代数的理论联系很密切;此外,由鲁宾孙(A.Robinson,1918～1974)所创始的非标准分析,则是 （本文共 561 字 ） [阅读本文] >>
说明： 本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报
