子模型

更新时间:-- | 阅读量: 179

设L为任一一阶语言,U=〈A,⌝1〉和B=〈B,⌝...模型U称为模型B的子模型,如果A⇩B,并满足:(ⅰ)对L中的任一n阶关系符号r及任意元素a1,…,anεA,〈a1,…,an〉ε⌝1( ...

搜索到与“ 子模型”相关的文献共 32

查看更多

子模型相似词

子模型相关词

子模型相关期刊

Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

京ICP备2021021570号-13

京公网安备 11011102000866号