Asie · Jour 1
25-NSIJ1JA1
- Peut-on décider si un programme s’arrête ?Calculabilité et décidabilité · Python et programmation · Tests, correction et débogage · Tris et recherche
Les annales, avec Sofien
Calculabilité et décidabilité.
À vous de résoudre.
Peut-on toujours décider si un programme termine ? Ces exercices font distinguer l’analyse d’un cas particulier et l’existence d’un algorithme général. Les contre-exemples et les raisonnements par contradiction sont expliqués étape par étape.
Le bon réflexe pour ce thème
Une expérience sur quelques programmes ne prouve pas l’existence d’un décideur universel. Vérifiez ce que votre fonction promet pour tous les programmes, y compris ceux qui s’appliquent à leur propre description.
Les liens dans chaque carte conduisent directement aux exercices concernés.
Revoir le cours avant de commencer
Aucun sujet ne réunit ces critères.
Essayez une notion plus large ou retirez un filtre. Les sujets de pratique fournis appartiennent tous à la session 2026.
Revenir à toutes les annalesFaire de l’annale un vrai entraînement
Trois passages pour progresser.
Chercher
Lisez les données et les contraintes. Écrivez votre idée ou votre trace avant de consulter un indice. Pour un sujet pratique, téléchargez les fichiers et ouvrez le code de départ.
Comprendre
Comparez votre réponse à la correction, question par question. Utilisez les ateliers pour tester une autre donnée et retrouver la raison du résultat.
Refaire
Reprenez les questions difficiles sans la correction. Expliquez les étapes à voix haute, puis choisissez un autre exercice sur le même thème.
Les sujets proviennent des PDF d’origine, disponibles sur chaque page. Les corrections sont pédagogiques. Définition officielle des épreuves à partir de 2026 (nouvel onglet).