computabilidade oor Nederlands

computabilidade

Vertalings in die woordeboek Portugees - Nederlands

berekenbaarheid

Soortgelyke frases

teoria da computabilidade
berekenbaarheidstheorie

voorbeelde

Juntamente com a teoria dos modelos, teoria axiomática dos conjuntos e a teoria da computabilidade, a teoria da prova é um dos chamados quatro pilares dos fundamentos da matemática.
Samen met de modeltheorie, de axiomatische verzamelingenleer en de recursietheorie wordt de bewijstheorie gezien als één van de vier zogenaamde pilaren van de grondslagen van de wiskunde.

O grupo de peritos em execução que, assistido por um perito em Informática e Matemática, prestou consultoria à Comissão sobre o tacógrafo digital foi também encarregado de rever a legislação vigente, à luz das actuais divergências de interpretação e bem assim das conclusões de um estudo sueco sobre a computabilidade das regras aplicáveis ao tacógrafo digital [3].
De groep deskundigen inzake wetshandhaving die de Commissie over de digitale tachograaf van advies had gediend, was tevens gevraagd de geldende wetgeving opnieuw te bezien in het licht van de thans bestaande uiteenlopende interpretaties en van de conclusies van een diepgaande Zweedse studie over de calculeerbaarheid van de huidige voorschriften voor de digitale tachograaf [3].

Por causa de sua conexão com ciência da computação, essa ideia também é defendida por matemáticos intuicionistas e construtivistas na tradição "computabilidade".
Vanwege hun nauwe band met de informatica wordt dit idee ook bepleit door wiskundige intuïtionisten en constructivisten in de "berekenbaarheids" traditie (zie hieronder).

Durante este ano ele desenvolveu as ideias de computabilidade e das funções recursivas com o propósito de lecionar sobre as funções recursivas gerais e o conceito de verdade matemática.
Tijdens dat jaar ontwikkelde Gödel zijn ideeën over de berekenbaarheid van recursieve functies, en hield een lezing over de algemene recursieve functies en het idee 'waarheid'.