Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
computable functions
Geflecteerde vorm van computable function
Vertaling van "computable functions" in Frans
fonctions calculables
fonctions récursives
fonctions programmables
R is equal to the set of all total computable functions.
R est équivalent à l'ensemble des fonctions calculables.
Such a theory already exists at order 2 and provides a complexity class analogue to usual polynomial time computable functions.
Une telle théorie existe déjà à l'ordre 2 et permet de définir une classe analogue aux fonctions calculables en temps polynomial usuelles.
The logic involved is closer to proof theory than to that of computability theory and computable functions.
Les arguments utilisés sont plus proches de la théorie de la preuve que des théories de la calculabilité et des fonctions récursives.
There's a reason Church and Turing said "computable functions."
Ce n'est pas pour rien que Church et Turing parlaient de fonctions récursives.
a computer-program source code, data, and unsubstantiated output variables are converted into a class of computable functions by a program compiler
un code de source de programme informatique, des données, et des variables de sortie non corroborées sont convertis en une classe de fonctions programmables par un compilateur de programmes
the computable functions are encoded, and a continualization method is applied to the encoded functions to determine a first-order, time-dependent, differential equation
ces fonctions programmables sont codées, et une méthode de continualisation est appliquée à ces fonctions codées, pour déterminer une équation différentielle de premier ordre dépendant du temps
Skolem (1923) sets out his primitive recursive arithmetic, a very early contribution to the theory of computable functions, as a means of avoiding the so-called paradoxes of the infinite.
Skolem (1923) expose son arithmétique récursive primitive, une contribution très précoce à la théorie des fonctions calculables, afin d'éviter les prétendus paradoxes de l'infini.
Tegmark also considers augmenting the MUH with a second assumption, the computable universe hypothesis (CUH), which says that the mathematical structure that is our external physical reality is defined by computable functions.
Tegmark renforce le MUH avec une deuxième hypothèse, l'hypothèse de l'univers calculable (abrégé CUH en anglais), énonçant que la structure mathématique qui est notre réalité physique externe est définie par des fonctions calculables.
Scientists used the computability theory that originated in the 1930s with the study of computable functions and the so-called Turing degrees to provide an information-theoretical approach to unpredictability.
Les scientifiques ont utilisé la théorie de la calculabilité, datant des années 1930, avec l'étude de fonctions calculables et des degrés de Turing, pour proposer une approche théorique et informée de l'imprévisibilité.
Kleene's realizability theory identifies the functions with the computable functions.
La théorie de la réalisabilité de Kleene identifie ces fonctions comme les fonctions calculables.
A programming language that can express all computable functions from one set to the other is said to be universal, or Turing-equivalent (assuming both sets are infinite).
Un langage de programmation qui peut exprimer toutes les fonctions calculables d'un ensemble dans l'autre est appelé universel, ou Turing-équivalent (en supposant ces deux ensembles infinis).
Abstract: Concurrent constraint programming (CCP) is a mature linguistic formalism from the family of process calculi and hence it treats processes much like the lambda-calculus treats computable functions.
Résumé : La Programmation Concurrente par Contraintes (CCP) est un formalisme linguistique mature de la famille des algèbres de processus, il traite les processus de la même façon que le lambda-calcul traite les fonctions calculables.
French description Abstract Concurrent constraint programming (CCP) is a mature linguistic formalism from the family of process calculi and hence it treats processes much like the lambda-calculus treats computable functions.
La Programmation Concurrente par Contraintes (CCP) est un formalisme linguistique mature de la famille des algèbres de processus, il traite les processus de la même façon que le lambda-calcul traite les fonctions calculables.
Synoniemen voor computable functions in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 22. Exact: 22. Verstreken tijd: 35 ms.
