![](https://images.math.cnrs.fr/wp-content/uploads/2023/11/comete.jpg)
Nous présentons divers problèmes de terminaison, dont la solution est plus ou moins facile et nous évoquons les applications de la terminaison en logique mathématique et en informatique.
Nous présentons divers problèmes de terminaison, dont la solution est plus ou moins facile et nous évoquons les applications de la terminaison en logique mathématique et en informatique.