计算理论
-
抽象机器 -
算法 -
算法复杂性 -
算法 -
自动机理论 -
自动设置 -
自动装置 -
布鲁姆加速定理 -
分支图 -
分支空间 -
因果图 -
因果不变性 -
因果网络 -
Chaitin常数 -
Chaitin的号码 -
Chaitin的欧米茄 -
Chaitin Omega编号 -
教会论文 -
邱奇-图灵论题 -
可计算数字 -
计算 -
计算时间 -
计算不可约性 -
计算范式 -
计算可简化性 -
概念 -
可构造函数 -
创意集合 -
决定性的 -
编码 -
折叠功能 -
一般递归函数 -
哥德尔数 -
暂停问题 -
迭代定理 -
克莱恩递推定理 -
Kleene的s-m-n定理 -
机器 -
多个一个完整 -
数学范式 -
McCarthy 91-功能 -
多重计算 -
多元计算范式 -
多计算过程 -
多计算系统 -
多重（Multiplicad） -
多路图 -
多路系统 -
非确定性图灵机 -
完成一对一 -
配对功能 -
部分递归函数 -
帕特森蠕虫 -
基本递归函数 -
计算等效原理 -
生产设备 -
拉宾压缩定理 -
递归函数 -
递归集 -
递归可枚举集 -
递归同构 -
递归不确定 -
可减少 -
赖斯定理 -
鲁里亚德 -
破碎的套装 -
总递归函数 -
图灵机器 -
通用元胞自动机 -
通用图灵机 -
普遍性 -
Vapnik-Chervonenkis维度 -
虚拟机