Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
recursion theory
Vertaling van "recursion theory" in Duits
Like ordinary recursion theory, computable analysis is a branch of classical mathematics.
Wie die Rekursionstheorie, so ist auch die berechenbare Analysis ein Zweig der klassischen Mathematik.
Shoenfield worked on recursion theory, model theory and axiomatic set theory.
Shoenfield beschäftigte sich mit Rekursionstheorie, Modelltheorie und axiomatischer Mengenlehre.
Gödel's incompleteness theorem marks not only a milestone in recursion theory and proof theory, but has also led to Löb's theorem in modal logic.
Zum Beispiel ist der Unvollständigkeitssatz von Gödel nicht nur in der Rekursionstheorie und der Beweistheorie von größter Bedeutung, sondern führte auch zum Satz von Löb, der in der Modallogik wichtig ist.
Scientific study of self-reproducing machines was anticipated by John Bernal as early as 1929 and by mathematicians such as Stephen Kleene who began developing recursion theory in the 1930s.
Wissenschaftliche Studien über selbstreplizierende Strukturen oder Maschinen wurden zuerst 1929 von J. D. Bernal und von Mathematikern wie Stephen C. Kleene veröffentlicht, der die Rekursionstheorie in den 1930er Jahren zu entwickeln begann.
Recursion theory also includes the study of generalized computability and definability.
Weiterhin umfasst die Rekursionstheorie auch das Studium von verallgemeinerter Berechenbarkeit und Definierbarkeit.
A main theorem of Recursion Theory states, that this is not possible, no matter what algorithmus he uses.
Ein Hauptsatz der Rekursionstheorie besagt, dass der Saboteur sein Vorhaben nicht verwirklichen kann, egal welchen Sabotage-Algorithmus er benutzt.
Recursion theory, also called computability theory, studies the properties of computable functions and the Turing degrees, which divide the uncomputable functions into sets that have the same level of uncomputability.
Rekursionstheorie, auch Berechenbarkeitstheorie genannt, ist das Studium von berechenbaren Funktionen und den Turinggraden, welche die nicht berechenbaren Funktionen nach dem Grad ihrer Nicht-Berechenbarkeit klassifizieren.
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
Seine Arbeit ist von großer Bedeutung in der mathematischen Logik, Rekursion Theorie, und in der theoretischen Informatik.
He is best known for his work in recursion theory.
Er beschäftigte sich vor allem mit Rekursionstheorie und effektiver deskriptiver Mengenlehre.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.
Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt.
Enderton, H.B. Elements of recursion theory.
Arnold Oberschelp: Rekursionstheorie.
The elegant terminology and conclusions obtained from Recursion Theory did serve as a model for many other disciplines, such as complexity theory.
Die eleganten Begriffe und Schlüsse der Rekursionstheorie haben für andere Disziplinen als Vorbild gedient, vor allem für die Komplexitätstheorie.
Recursion theory also includes the study of generalized computability and definability.
Weiterhin umfasst die Rekursionstheorie auch das Studium von verallgemeinerter Berechenbarkeit und Definierbarkeit.
Synoniemen voor recursion theory in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 13. Exact: 13. Verstreken tijd: 34 ms.
