calculabilité oor Nederlands

calculabilité

Vertalings in die woordeboek Frans - Nederlands

berekenbaarheid

Soortgelyke frases

théorie de la calculabilité
theorie van de berekeningen

voorbeelde

Sinon, les professionnels n'obtiendront plus aucune assurance, en raison du manque de calculabilité.
Zo niet zullen handelaars geen verzekering meer kunnen afsluiten omdat de kosten niet kunnen worden berekend.

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.
Ik wil principieel vaststellen dat zolang men zich alleen maar bekommert om een billijke verdeling van de eigen middelen over de lidstaten, men steeds weer op tegenstrijdige economische en budgettaire belangen zal stuiten, men steeds weer te klagen zal hebben over een gebrek aan doorzichtigheid in en berekenbaarheid van de ontvangsten en de uitgaven.

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.
De boeren en coöperatieve verenigingen verwachten van de Europese Commissie dat zij de bureaucratie in de landbouw vermindert en richtsnoeren aanneemt die op voorspelbare, berekenbare, en progressieve structuren zijn toegespitst.

Dans le document qu'il définit la notion de calculabilité effective et l'identifie avec la notion d'une fonction récursive.
In de papieren die hij definieert het begrip 'effectieve berekenbaarheid en identificeert het met de notie van een recursieve functie.

L'arrière-plan à l'église de travaux sur la calculabilité et de l'indécidabilité, sur la base de sa correspondance avec Bernays pendant les années 1934-1937, est examinée par Sieg in.
De achtergrond van Kerk werkzaamheden computability en undecidability, op basis van zijn correspondentie met Bernays in de jaren 1934-1937, wordt onderzocht door Sieg in.

Kleene développé un large éventail de sujets en calculabilité: la hiérarchie arithmétique, degrés de la calculabilité, computable ordinaires ou hyperarithmetic théorie, automates finis et ensembles réguliers avec des conséquences énormes pour l'informatique, calculabilité supérieur types récursifs sont réalisables pour l'arithmétique intuitionniste avec des conséquences pour philosophie et l'exactitude du programme en informatique.
Kleene ontwikkelde een divers scala aan onderwerpen in computability: het rekenkundig hiërarchie, graden van computability, berekenbaar ordinals en hyperarithmetic theorie, eindige automaten en regelmatige sets met enorme gevolgen voor de informatica, computability op het hoger types, recursieve realiseerbaarheid voor Intuïtionistische rekenen met gevolgen voor de filosofie en voor programma correctheid in de computerwereld.

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.
Vanaf 1930 zit er op Kleene meer dan enige andere wiskundige ontwikkeld voor de begrippen computability en doeltreffend proces in al hun vormen zowel abstract en concreet zijn, zowel wiskundige en filosofische.

En 1980, elle a donné l'American Mathematical Society Colloquium Conférences sur la calculabilité, Hilbert 's dixième problème, que des problèmes pour anneaux et les champs, et non des modèles standard de l'arithmétique.
In 1980 gaf de American Mathematical Society Colloquium Lezingen over computability, Hilbert 's Tiende Probleem, besluit de problemen voor ringen en velden, en niet-standaard modellen van de rekenkunde.

Alan Turing, qui a été la réflexion sur la notion de calculabilité efficace, est venu visiter comme un étudiant diplômé en 1936 et est resté pour terminer son doctorat en vertu de l'Eglise.
Alan Turing, die gevangen heeft gezeten na te denken over het begrip van effectieve berekenbaarheid, kwam als een bezoekende student afgestudeerd in 1936 en verbleef om zijn Ph.D. onder Kerk.