Mathématiques de l'informatique

Dehornoy

Utilisée dans les 2 développements suivants :

Calculabilité du Castor affairé
La fonction d'Ackermann n'est pas récursive primitive

Utilisée dans les 5 leçons suivantes :

912 (2015) Fonctions récursives primitives et non primitives. Exemples.
913 (2021) Machines de Turing. Applications.
27 (2022) Décidabilité et indécidabilité. Exemples.
29 (2022) Langages rationnels et automates finis. Exemples et applications
912 (2021) Fonctions récursives primitives et non primitives. Exemples.

Utilisée dans les 3 versions de développements suivants :


Utilisée dans les 5 versions de leçons suivantes :