词条摘要:分层理论正文 数理逻辑中递归论的一部分。它的中心论题是用递归论为工具给出数集(问题集)或函数集的复杂性的某种排序。 因为所谓算术集恰是自然数集 N中由一阶公式定义的自然数集,而解析集则是由二阶公... [阅读全文]
共有话题1个 共1页
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有