排序方式: 共有6条查询结果,搜索用时 218 毫秒
1
1.
2.
本文中我们将研究语言,上素数阶群理论T的量词消去及相应的复杂性.我们证明理论T有量词消去性质,并利用该性质给出理论T判定问题的一个复杂性上界. 相似文献
3.
同余式x_i~2≡a(modp)相异解的个数的递推公式沈云付(北京师范大学,北京100875)设p为奇素数,m,n为正整数.同余式(1)的解数仅与a的Legendre符号有关,有相同的Legendre符号的同余式它们的解数相同.于是用表示同余式(1)... 相似文献
4.
本文证明了在有限值格下,一个模型类是初等类当且仅当它对超积和初等等价封闭,同时值格需有强特征式,语言应附有相应的零元关系符号。 相似文献
5.
<正> 在文献[2—5]中已证明当值格L适合某些条件时,二值模型论的某些结果可推广到格值模型论中.本文试图作进一步的推广.证明了: 相似文献
6.
在以前的一些工作中,作者已经证明语言(?)={+,0,e)上素数阶群的理论T有量词消去性质并研究了它的判定问题的复杂性.本文在此基础上将利用T的判定问题的复杂性结果给出理论T的量词消去的一个算法,同时给出该算法的复杂性上界. 相似文献
1