Est-ce que ça s'arrête ?
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...