本范畴涉及递归论,也叫做可计算性理论,它是与可计算函数概念的推广有关的数理逻辑分支,并与图灵度这样的概念有关。

子分类

本分类有以下5个子分类,共有5个子分类。

J

L

  • 递归 (2个分类, 17个页面)