递归可枚举集 编辑
递归可枚举集合是可计算性理论或更狭义的递归论中的一个概念。可数集合被称为是递归可枚举、计算可枚举的、半可判定的或可证明的，如果
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]