Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
recursion theory
Vertaling van "recursion theory" in Chinees
递归理论
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年代的工作。
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor recursion theory in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 7. Exact: 7. Verstreken tijd: 9 ms.
