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 Frans
théorie de la récursivité
la théorie des modèles ou la logique intuitionniste
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
Son travail est d'une importance majeure dans la logique mathématique, théorie de la récursivité, et en informatique théorique.
Shoenfield worked on recursion theory, model theory and axiomatic set theory.
Shoenfield a travaillé en théorie de la récursivité, la théorie des modèles et la théorie axiomatique des ensembles.
MS02 Foundations and logic Category theory; set theory; mathematical logic; proof theory; recursion theory; symbolic logic; formal logic; infinitary combinatorics; relational structures; set theoretic topology; model theory
Théorie des catégories; théorie des ensembles; logique mathématique; théorie de la démonstration; théorie de la récursivité; logique symbolique; logique formelle; combinatoire infinitaire; structures relationnelles; théorie des ensembles et topologie; théorie des modèles
ICC was developed in the 1990s and employs the techniques of proof theory, substructural logic, model theory and recursion theory to prove bounds on the expressive power of high-level formal languages.
La complexité implicite utilise des techniques de la théorie de la preuve, des logiques sous-structurelles, de la théorie des modèles, de la théorie de la récursivité, de la réécriture et de la théorie des types.
In 1972 Jockusch and Robert I. Soare proved the low basis theorem, an important result in mathematical logic with applications to recursion theory and reverse mathematics.
En 1972, Jockusch et Robert I. Soare prouvent le théorème de la base basse, un résultat important en logique mathématique avec des applications à la théorie de la récursivité et aux mathématiques inverses.
He developed the field of recursion theory with Church, Gödel, Turing and others.
Il a développé le domaine de la théorie et la récursivité Eglise, Gödel, Turing et d'autres.
Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.
Leo Anthony Harrington, né le 17 mai 1946, est un professeur de mathématiques à l'université de Californie à Berkeley, qui travaille dans la théorie de la computabilité, la théorie des modèles, et la théorie des ensembles.
In 1993 he published Recursion theory for metamathematics which is a sequel to his 1992 text described above.
En 1993, il a publié la théorie de Recursion Metamathematics qui est une suite à son texte de 1992 décrit ci-dessus.
Forcing was considerably reworked and simplified in the following years, and has since served as a powerful technique, both in set theory and in areas of mathematical logic such as recursion theory.
Le forcing a été notablement remanié et simplifié dans les années 1960 et s'est révélé être une technique extrêmement puissante, à la fois en théorie des ensembles et dans d'autres branches de la logique mathématique, comme la théorie des modèles ou la logique intuitionniste.
Forcing was considerably reworked and simplified in the 1960s, and has proven to be an extremely powerful technique both within set theory and in areas of mathematical logic such as recursion theory.
Le forcing a été notablement remanié et simplifié dans les années 1960 et s'est révélé être une technique extrêmement puissante, à la fois en théorie des ensembles et dans d'autres branches de la logique mathématique, comme la théorie des modèles ou la logique intuitionniste.
ELSE... connective appears as the simplest form of CASE operator of recursion theory and computation theory and is the connective responsible for conditional goto's (jumps, branches).
SINON... apparaît comme la forme la plus simple des opérateurs de la théorie de la récursivité et est le connecteurs responsable de l'instruction goto en informatique.
Synoniemen voor recursion theory in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 11. Exact: 11. Verstreken tijd: 23 ms.
