Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
en calculabilité, la fonction de sudan est un exemple de fonction récursive mais non récursive primitive.
in the theory of computation, the sudan function is an example of a function that is recursive, but not primitive recursive.
systÈme et procÉdÉ de rÉunion-division pour calculabilitÉ locale de requÊte sur des groupes ne partageant rien
system and method for join-partitioning for local computability of query over shared-nothing clusters
l'invention porte sur un procédé et un système pour une protection contre la copie utilisant la complexité et la non-calculabilité
a method and system for copy protection using complexity and uncomputability are disclosed
dans le document qu'il définit la notion de calculabilité effective et l'identifie avec la notion d'une fonction récursive.
in the paper he defines the notion of effective calculability and identifies it with the notion of a recursive function.
), turing est à l'origine de la formalisation des concepts d'algorithme et de calculabilité, qui fonderont cette discipline.
he was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the turing machine, which can be considered a model of a general purpose computer.
depuis 1930, l 'kleene sur plus de toute autre mathématicien développé les notions de calculabilité et efficace dans toutes leurs formes abstraites et les deux concrètes, à la fois mathématique et philosophique.
from 1930's on kleene more than any other mathematician developed the notions of computability and effective process in all their forms both abstract and concrete, both mathematical and philosophical.
les agriculteurs et les coopératives attendent de la commission européenne qu' elle démantèle la bureaucratisation de l' agriculture et adopte des orientations budgétaires axées sur la calculabilité, la fiabilité et des structures progressistes.
farmers and cooperatives expect the european commission to reduce the amount of red tape in the agricultural economy and adopt budgetary guidelines based on calculation, reliability and progressive structures.
je voudrais dire très clairement que tant qu' il ne sera question que de la répartition équitable des contributions aux ressources propres entre les États membres, on devra toujours composer avec des intérêts économiques et budgétaires divergents et se plaindre du manque de transparence et de calculabilité des ressources et des dépenses.
basically i would like to point out that as long as the issue is confined to the fair distribution between the member states of the own resources that have to be found, we will keep having to deal with conflicting financial and budgetary interests, to bemoan the lack of transparency and lack of ascribability of both revenue and expenditure.
il est essentiel de comprendre la « généalogie » et l'impact des notions qui sous-tendent ces termes si nous voulons comprendre les transformations qui se produisent dans nos vies. dans le cadre de son projet de recherche, m. smith étudie des termes et des concepts techniques comme traitement de l'information, calculabilité et vie artificielle.
understanding the genealogy, impact, and consequences of the notions behind these words is essential if we are to understand the transformations that are taking place in our lives. in his research, dr. smith examines such technical terms and ideas as information processing, mathematical computability and artificial life.