bn:00221788n
Noun Concept
Categories: Théorie de la démonstration
FR
réalisabilité  Realisabilite  Réalisibilité  Réalisibilté
FR
La réalisabilité est une branche de la logique mathématique, et plus précisément de la théorie de la démonstration, qui définit une relation logique entre les formules d'un système logique et les programmes d'un modèle de calcul. Wikipedia
Definitions
Sources
FR
La réalisabilité est une branche de la logique mathématique, et plus précisément de la théorie de la démonstration, qui définit une relation logique entre les formules d'un système logique et les programmes d'un modèle de calcul. Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikipedia Translations