検索ワード: calculabilité (フランス語 - 英語)

calculabilité
computability

calculabilité effective
effective computability

calculabilité, complexité.
calculability, complexity.

calculabilité et complexité.
calculability and complexity.

le domaine de recherche est la théorie de la calculabilité.
le domaine de recherche est la théorie de la calculabilité.

ces questions ont des liens avec la calculabilité et de la théorie de la complexité.
therefore, formal language theory is a major application area of computability theory and complexity theory.

protection contre la copie utilisant un champ de complexitÉ et de non-calculabilitÉ
copy protection using complexity and uncomputability field

les structures de protection comprennent des structures de complexité et des instructions de non-calculabilité
the protection structures comprise complexity structures and uncomputability commands

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.