更新时间:-- | 阅读量: 83
模型论术语.指两个模型间的一种关系.设U=〈A,F〉是语言L的一个模型....如果将语言L膨胀为L′=L∪X，并在U中对X中的符号给出任意解释F′，则U′=〈A，F∪F′〉是膨胀语言L′的一个模型，称模型U′是模型U的膨胀.此时也称模型U ...
搜索到与“ 膨胀模型”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
