Exemples d'utilisation de
Theory of computation
en Anglais et leurs traductions en Français
{-}
Colloquial
Official
A computer scientist focuses on the theory of computation and its applications.
Un informaticien se concentre sur la théorie du calcul et ses applications.
Alan Turing's theory of computation showed that any form of computation could be described digitally.
La théorie du calcul d'Alan Turing montre que toute forme de calcul peut être représentée numériquement.
Turing's machines are a central object in theory of computation even to this day.
A ce jour, les machines de Turing sont un objet central d'étude dans la théorie du calcul.
You could turn to theory of computation to define what counts as a programming language.
Vous pouvez vous tourner vers la théorie du calcul pour définir ce qui compte comme langage de programmation.
Turing machines are to this day a central object of study in theory of computation.
A ce jour, les machines de Turing sont un objet central d'étude dans la théorie du calcul.
Computer scientists are trained in the theory of computation and the design of computer systems.
Les informaticiens sont formés dans la théorie du calcul et de la conception de systèmes informatiques.
This discovery turned the Unique Games problem into a major open problem of the theory of computation.
Cette découverte fait du problème des jeux uniques un problème ouvert majeur de la théorie du calcul.
A computer scientist studies the theory of computation and the practice of designing software systems.
Un informaticien étudie la théorie du calcul et la pratique de la conception de systèmes logiciels.
Introduction to the theory of automata andformal languages with application to the theory of computation.
Introduction à la théorie des automates etau langages formels avec application à la théorie des algorithmes.
In IC School, in the Laboratory of the Theory of Computation 4, his work will focus on the theoretical foundations of big data analysis.
Au sein de la Faculté IC- au laboratoire de théorie du calcul 4, son travail se concentrera sur les fondements théoriques de l'analyse des Big Data.
Istanbul Bilgi University organises an annual conference on the theory of computation called Turing Days.
Université Bilgi d'Istanbul organise une conférence annuelle sur la théorie du calcul appelé« Journées» de Turing.
Professor Kapralov, who joined IC School in 2016 and leads the Theory of Computation Laboratory 4, aims to design efficient algorithms for fundamental computational tasks, as well as understand the limits of tractability, one of the key goals of computer science since its inception.
Le Professeur Kapralov, qui a rejoint la faculté IC en 2016 et dirige le Laboratoire de Théorie du Calcul 4, souhaite concevoir des algorithmes efficaces pour des tâches fondamentales de calcul et comprendre les limites de la traçabilité, l'un des principaux objectifs de l'informatique depuis sa création.
By the 1960s Bremermann's interests had turned towards the theory of computation and evolutionary biology.
Dans les années 1960 Bremermann intérêts avait tourné vers la théorie de calcul et de biologie évolutive.
Major areas within the computer science program include programming languages, algorithms, operating systems, computer architecture,database systems, and theory of computation.
Les principaux domaines dans le programme d'informatique comprennent des langages de programmation, les algorithmes, les systèmes d'exploitation, l'architecture des ordinateurs,des systèmes de base de données, et de la théorie du calcul.
The EPFL student organization PolyProg also contributed and the EPFL's Theory of Computation Laboratory supplied food and beverages.
L'association estudiantine de l'EPFL PolyProg était également de la partie et le Laboratoire de théorie du calcul a offert la nourriture et les boissons.
An important first contribution was Blum's 1989 paper Lectures on a theory of computation and complexity over the reals(or an arbitrary ring) which extended the theories of computation and computational complexity from the standard discrete situation to study how these ideas can be developed in continuous domains such as the real number system.
Une première contribution a été Blum en 1989 Conférences sur papier une théorie de calcul et de la complexité sur le real(ou un anneau arbitraire) qui a étendu les théories de calcul et la complexité de la norme discret situation à étudier comment ces idées peuvent être développées dans les domaines continu comme le nombre réel système.
In real life, the author does mathematics, in particular logic,algebra and theory of computation.
Dans la vie l'auteur fait des mathématiques, en particulier de la logique,de l'algèbre et de l'informatique théorique.
The EPFL student organization PolyProg also contributed and the EPFL's Theory of Computation Laboratories 2 and 4 supplied food and beverages.
L'association des étudiants de l'EPFL PolyProg a également contribué et les Laboratoires de théorie du calcul 2 et 4 de l'EPFL ont fourni la nourriture et les boissons.
He is well known for his work in randomness in computing, algorithmic complexity and intractability, average-case complexity, foundations of mathematics and computer science,algorithmic probability, theory of computation, and information theory..
Il est connu pour son travail sur le hasard en informatique, la complexité algorithmique, la complexité en moyenne des algorithmes,la probabilité algorithmique, lathéorie de la calculabilité et la théorie de l'information.
Continuity is the mathematics of calculus and physics butthere's never been a theory of computation that deals with this continuum.
La continuité est le calcul de mathématiques et physique, maisil n'ya jamais eu une théorie de calcul qui traite de ce continuum.
Complexity and computation theory(think Turing machines and automata):Introduction to theory of computation.
Complexité et théorie des calculs(penser les machines et les automates de Turing):Introduction à la théorie du calcul.
Some of the courses that students can take explore data structures, algorithms,mathematics, theory of computation, human-computer interaction, and software testing.
Certains de ces cours que les étudiants peuvent prendre explorer les structures de données, des algorithmes,des mathématiques, de l'informatique théorique, l'interaction humain- ordinateur et les tests de logiciels.
Beginning in the late 1980s and continuing throughout the 1990s Blum, with several co-authors,has developed new directions in the theory of computation and complexity.
À partir de la fin des années 1980 et tout au long des années 1990 Blum, avec plusieurs co- auteurs,a élaboré de nouvelles orientations dans la théorie de calcul et de la complexité.
In Sweden, students taking a Bachelor of Computer Science degree will explore such topics as cyber security,graphic design, theory of computation, data communication, algorithms, and information theory, to name a few.
En Suède, les étudiants qui suivent un baccalauréat en sciences informatiques vont explorer des sujets tels que la cyber-sécurité,la conception graphique, la théorie du calcul, de communication de données, les algorithmes et la théorie de l'information, pour n'en nommer que quelques-uns.
Computer systems, organization and architecture, algorithms and data structures, principles of software design,elements of the theory of computation, and operating systems.
Les systèmes informatiques, l'organisation et l'architecture, les algorithmes et structures de données, les principes de conception de logiciels,des éléments de la théorie du calcul, et les systèmes d'exploitation.
He was to remain at Berkeley for the rest of his career during which he applied his mathematical skills to physics,distribution theory,theory of computation, artificial intelligence and, mathematical biology.
Il devait rester à Berkeley pour le reste de sa carrière au cours de laquelle il a appliqué ses compétences en mathématiques à la physique,de la distribution théorie, la théorie de calcul, et l'intelligence artificielle, la biologie mathématique.
Gabriel Sudan(April 14, 1899- June 22, 1977) was a Romanian mathematician, known for the Sudan function(1927),an important example in the theory of computation, similar to the Ackermann function 1928.
Gabriel Sudan modifier- modifier le code- modifier Wikidata Gabriel Sudan(né le 14 avril 1899 et mort le 22 juin 1977) est un mathématicien roumain,connu pour la fonction de Sudan(1927) en théorie de la calculabilité, similaire à la fonction d'Ackermann 1928.
Résultats: 27,
Temps: 0.0487
Comment utiliser "theory of computation" dans une phrase en Anglais
Research Interests: Theory of computation and quantum computing.
Textbook: Sipser, Theory of Computation (2nd Edition), 2006.
Theory of Computation Regular expressions and finite automata.
The Harvard Theory of Computation group has postdocs.
Elements of the Theory of Computation (2nd ed.).
Introduction to the Theory of Computation (2nd ed.).
Introduction to the theory of computation pdf free.
Most require an upper-level theory of computation course.
MIT Theory of Computation Seminar, December 1999.
—.
That's what the quantum theory of computation did.
English
Dansk
Deutsch
Español
Italiano
Nederlands
Svenska
عربى
Български
বাংলা
Český
Ελληνικά
Suomi
עִברִית
हिंदी
Hrvatski
Magyar
Bahasa indonesia
日本語
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt
中文