Concept information
Término preferido
théorie de la calculabilité
Definición
-
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité », de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Th%C3%A9orie_de_la_calculabilit%C3%A9)
Concepto genérico
Conceptos específicos
etiqueta alternativa (skos)
- théorie de la récursion
En otras lenguas
-
inglés
-
recursion theory
URI
http://data.loterre.fr/ark:/67375/PSR-WG0SLJKC-4
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}