中国
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
完整文章
类别
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
你写
用户
登录
登记
找回密码
标签
语言标签
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
标签computability - 这是页156 - GeneraCodice
递归,递归枚举,上面没有
https://www.generacodice.com/cn/articolo/1096856/递归-递归枚举-上面没有
computability
-
formal-languages
cs.stackexchange
线性绑定的半确定问题
https://www.generacodice.com/cn/articolo/1097080/线性绑定的半确定问题
computability
-
time-complexity
-
undecidability
cs.stackexchange
关于稻米定理证明中使用的字符串W和字符串X的具体示例
https://www.generacodice.com/cn/articolo/1097092/关于稻米定理证明中使用的字符串w和字符串x的具体示例
computability
cs.stackexchange
为什么是图灵完整性的权利?
https://www.generacodice.com/cn/articolo/1097156/为什么是图灵完整性的权利
turing-machines
-
computability
-
history
cs.stackexchange
教会论文的时间复杂性版本
https://www.generacodice.com/cn/articolo/1097347/教会论文的时间复杂性版本
turing-machines
-
terminology
-
computability
-
church-turing-thesis
cs.stackexchange
该函数何时将字符串映射到其无前缀的Kolmogorov复杂性停止?
https://www.generacodice.com/cn/articolo/1097398/该函数何时将字符串映射到其无前缀的kolmogorov复杂性停止
terminology
-
computability
-
descriptive-complexity
-
kolmogorov-complexity
cs.stackexchange
是否存在图灵完整的打字lambda微积分?
https://www.generacodice.com/cn/articolo/1097436/是否存在图灵完整的打字lambda微积分
computability
-
type-theory
-
lambda-calculus
cs.stackexchange
量子TM和非确定性TM有什么区别?
https://www.generacodice.com/cn/articolo/1097584/量子tm和非确定性tm有什么区别
turing-machines
-
computability
-
quantum-computing
-
nondeterminism
cs.stackexchange
永不停止的机器总是循环吗?
https://www.generacodice.com/cn/articolo/1097592/永不停止的机器总是循环吗
turing-machines
-
computability
-
halting-problem
cs.stackexchange
决策问题的Kolmogorov复杂性
https://www.generacodice.com/cn/articolo/1097668/决策问题的kolmogorov复杂性
terminology
-
computability
-
kolmogorov-complexity
-
3-sat
-
decision-problem
cs.stackexchange
«
153
154
155
156
157
158
»
发现结果: 1630