更新时间:-- | 阅读量: 63
数理逻辑的一个分支.是研究形式语言和它的解释(模型或结构)之间关系的理论....模型论可分为一阶模型论、高阶模型论、无穷长语言模型论、具有广义量词的模型论、模态模型论、多值模型论等.由于数理逻辑中一阶逻辑发展最成熟，所以模型论也以一阶模型 ...
搜索到与“ 无穷值模型”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
