Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
recursion theory
Tradução de "recursion theory" em chinês
递归理论
His work on recursion theory helped to provide the foundations of theoretical computer science.
他的工作对递归理论有助于提供的基础理论计算机科学。
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
他的工作是非常重要的数学逻辑，递归理论，在理论计算机科学。
Basically Karp wanted to return to Gödel's original proof-theoretic definitions of recursive sets but of course using more liberal notions of proof so as to obtain generalisations of recursion theory.
基本上卡普想返回 哥德尔的原始证据理论的定义递归集当然使用更自由的概念证明，以获得概括的递归理论。
I took 3 courses, passed my prelims, and under the inspiring tutelage of Anil Nerode, did all the work for a dissertation in recursion theory.
我在3 个疗程，通过我的prelims ，并根据监护的鼓舞人心的阿尼尔Nerode ，但一切工作的论文在递归理论。
He developed the field of recursion theory with Church, Gödel, Turing and others.
他开发领域的递归理论与教会，哥德尔，图灵等。
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
数理逻辑 是符号逻辑在其他领域中的延伸，特别是对模型论 、证明论 、集合论 和递归论 的研究。
Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church, Alan Turing, Stephen Kleene and Emil Post.
历史 ［ 编辑 ］ 递归论理论起源自哥德尔 、邱奇 、图灵 、克莱尼 和Emil Post 在1930年代的工作。
Assine o Premium para desbloquear milhões de exemplos de tradução, salvar e aprender vocabulário sem limites e usar o serviço sem anúncios.
Sinônimos e analogias para "recursion theory" em inglês
Palavra e Expressão do Dia
Imagem do dia
Resultados: 7. Exatos: 7. Tempo de resposta: 9 ms.
