T完全集
也称T完全的递归可枚举集。
设A
N，如果对任何递归可枚举集B都有B≤A，而A本身也是递归可枚举集，则称A为T完全集。
m完全集都是T完全的，但反之不然。
声明：本文搜集自网络，观点仅代表作者本人，不代表本站立场。
和逻辑百科辞典有关的内容
网友喜欢读
推荐阅读
-
- 汉文帝废除肉刑
- 淳于意是西汉初年诸侯国齐国的著名医生。他年轻时喜钻研医术，拜当时著名医学家公孙光为师，学习古典医籍和治病经验。高后八年时（公元
-
- 董卓部下一览
- 董卓西凉军人才济济，其中不少羌胡将领。
-
- 晋文侯为何取名为仇，晋文侯夺回君位
- 取名为仇晋文侯，姬姓，名仇，晋穆侯之子，母亲姜氏是齐国宗室之女。晋穆侯四年（公元前808年），晋穆侯迎娶姜氏为夫人。晋穆侯七年（公元前805年
-
- 殽之战，晋襄公应该负什么责任
- 晋国与秦国是长期的战略合作伙伴，秦晋之好，既是其互为婚姻的写照，也是双方战略结盟的象征，成为盟国之间相互信任、相互支持、共襄大业
-
- 晋惠公和庆郑：被评价为一对花样作死的君与臣
- 背信弃义的晋惠公晋公子夷吾为了夺嫡，许给秦穆公五城来助自己复国，然而秦穆公扶持夷吾当上晋国国君之后晋惠公(也就是夷吾)开始后悔
-
- 杀神白起是白乙丙的后代吗
- 今人多以为秦昭襄王时期秦国大将、杀神白起是秦穆公时期白乙丙的后代。