berekenbaarheidstheorie oor Engels

berekenbaarheidstheorie

Vertalings in die woordeboek Nederlands - Engels

computability theory

naamwoord

branch of mathematical logic, computer science, and the theory of computation studying computable functions and Turing degrees

voorbeelde

Hij is het meest bekend voor zijn werk op het gebied dat uiteindelijk zou uitgroeien tot de berekenbaarheidstheorie.
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.
He is best known for his work in the field that eventually became known as computability theory. Contents

Dit is een resultaat dat in de berekenbaarheidstheorie vaak gebruikt wordt, maar een overzichtelijk bewijs is elders nergens te vinden.
This is a well known result, but a proof is nowhere to be found. I give a proof and explain some related mathematics.

Een gevorderde kennis van relevante theoretische concepten (inclusief automatentheorie, berekenbaarheidstheorie en analyse van algoritmen);
An advanced knowledge of relevant theoretical concepts (including automata theory, computability theory, and analysis of algorithms);

Het onderwerp van mijn doctoraatsthesis was berekenbaarheidstheorie (computability theory), meer bepaald algorithmic randomness.
The topic of my thesis was computability theory, and more specifically algorithmic randomness.

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.
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.