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