不相交并相关硕士博士期刊学术论文 - 搜论网

不相交并相关论文

有限群表示的一个结论

利用陪集、重陪集等概念和性质,证明了一个利用有限群G的子集表示G的结论....

期刊

子群陪集不相交并

不相交并和一阶语言的有穷模型性

在模型论语义下,一个公式是否具有有穷模型往往和可计算性相关。但是我们也可以仅仅从基数的角度来观察,譬如在一阶语言里,是什么......

期刊

有穷模型性无穷模型一阶语言不相交并 finite model property infinite model first-order language d

看过本文同时还关注