当前位置:首页 > 逻辑百科辞典

T完全集

也称T完全的递归可枚举集。

设AN,如果对任何递归可枚举集B都有B≤A,而A本身也是递归可枚举集,则称A为T完全集。

m完全集都是T完全的,但反之不然。

声明:本文搜集自网络,观点仅代表作者本人,不代表本站立场。
热门推荐
  • 野史解密
  • 民间故事
  • 幽默故事
  • 童话故事
  • 历史故事
推荐阅读
袁绍手下四大谋士都是怎样死的?
袁绍手下四大谋士都是怎样死的?
新版《三国》总的来说拍得还是很不错的,断断续续看了好几集,印象比较深的是战争的场面拍摄的非常宏大壮观,比如官渡之战和火烧赤壁,新
董卓洗劫洛阳城
董卓洗劫洛阳城
中平六年(189年),董卓迎少帝初入洛阳时,“步骑不过三千”。他自知仅凭这些人马不足以征服四方。
华元劝晋国、楚国休战
华元劝晋国、楚国休战
晋国、楚国两大国之间连年征战,各自损失极为惨重。宋卿华元得知晋、楚两国有谋求媾和之意,就主动出来斡旋,促成晋、楚结盟。华元不但
晋穆侯为何讨厌他刚出世的儿子,还给取名叫“记仇”?
晋穆侯为何讨厌他刚出世的儿子,还给取名叫“记仇”?
周宣王死后,太子姬宫湦(sheng)继位,这就是历史上鼎鼎大名的周幽王。从这一刻起,周王朝开始进入了多事之秋,一场又一场的好戏即将开演。
雍正被恐吓之谜
雍正被恐吓之谜
雍正游玩西湖正在兴头上的时候,突然收到了一封神秘的恐吓信,这封恐吓信信的主人又是谁?信中究竟说了些什么,竟然让威风八面的皇帝吓了
甘茂攻韩取宜阳
甘茂攻韩取宜阳
战国之世,秦国称雄诸侯的著名战将有樗里子、甘茂、穰侯、司马错、白起、王翦、王贲父子等人,经过了数代人的努力,秦蚕食诸侯,才替秦始