La récursivité est une notion fondamentale du programme de NSI en Terminale. Comprendre le fonctionnement des fonctions récursives, leurs conditions d’arrêt, la pile d’exécution ou encore la ...

Parmi les fonctions récursives à deux arguments on trouve la fonction d'Ackermann-Peter. Le pgcd peut aussi être présenté récursivement, ...

Les correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church la classe des fonctions partielles récursives est exactement l'ensemble des fonctions pouvant être ...

Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni ...