排序方式: 共有3条查询结果,搜索用时 0 毫秒
1.
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商
相似文献
2.
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c
相似文献
3.
该文证明了在 R
wtt/ M
wtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 R
wtt/ M
wtt是递归可枚举弱真值表归约度集 R
wtt模可盖递归可枚举弱真值表归约度集 M
wtt的商.
相似文献