Problème de l'arrêt

Propositions de mises en forme

Leçons où ce développement peut être utilisé

• 01 — Exemples de méthodes et outils pour la correction des programmes.
• 32 — Décidabilité et indécidabilité. Exemples.