Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
computability
Definitie
Vertaling van "computability" in Nederlands
Definitie NEW
berekenbaarheid
oplosbaarheid
berekenbaarheidstheorie
The computability and complexity of these calculations are important factors.
De berekenbaarheid en de complexiteit van de berekeningen zijn daarbij belangrijke kenmerken.
During this year, Gödel also developed the ideas of computability and recursive functions to the point where he was able to present a lecture on general recursive functions and the concept of truth.
Tijdens dat jaar ontwikkelde Gödel zijn ideeën over de berekenbaarheid en recursieve functies, en hield een lezing over de algemene recursieve functies en het idee waarheid.
The high level of vertical integration in the company ensures optimal product quality and computability over the long term.
De hoge verticale integratie in het bedrijf verzekert voortdurend een optimale productiekwaliteit en -comptabiliteit.
The topic of my thesis was computability theory, and more specifically algorithmic randomness.
Het onderwerp van mijn doctoraatsthesis was berekenbaarheidstheorie (computability theory), meer bepaald algorithmic randomness.
An advanced knowledge of relevant theoretical concepts (including automata theory, computability theory, and analysis of algorithms)
Een gevorderde kennis van relevante theoretische concepten (inclusief automatentheorie, berekenbaarheidstheorie en analyse van algoritmen)
However, more computability of success.
Wel meer berekenheid van slagen.
Because of their close connection with computer science, this idea is also advocated by mathematical intuitionists and constructivists in the "computability" tradition.
Vanwege hun nauwe band met de informatica wordt dit idee ook bepleit door wiskundige intuïtionisten en constructivisten in de "berekenbaarheids" traditie (zie hieronder).
Post correspondence problem, an important problem in computability theory
Correspondentieprobleem van Post, een onbeslisbaar probleem uit de theoretische informatica
Those who have studied the "Theory of computability" know how much weight is given to a finite, i.e.
Zij die zich verdiept hebben in de "Theory of computability" weten hoeveel gewicht gehecht wordt aan een eindige, dwz.
In computability theory, a system of data-manipulation rules (such as a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing complete or computationally universal if it can be used to simulate any single-taped Turing machine.
In de berekenbaarheidstheorie wordt een programmeertaal, of een ander systeem om bewerkingen mee uit te drukken, Turing-volledig (vaker: Turing-compleet) genoemd als het de uitdrukkingskracht heeft van een universele turingmachine.
The course Automata, Languages and Computability concentrates on how programming languages are recognised by computers and what types of problems are solved using computers.
Bij het vak wordt er gekeken naar hoe (programmeer-)talen door computers worden herkend en welke types problemen met een computer worden opgelost.
He is best known for his work in the field that eventually became known as computability theory.
Hij is het meest bekend voor zijn werk op het gebied dat uiteindelijk zou uitgroeien tot de berekenbaarheidstheorie.
In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total computable function that is not primitive recursive.
De ackermannfunctie (genoemd naar Wilhelm Ackermann) is een voorbeeld van een totale, berekenbare functie die niet primitief recursief is.
Synoniemen voor computability in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 13. Exact: 13. Verstreken tijd: 16 ms.
