Exercices de Programme comme donnée, calculabilité et décidabilité

1 exercice de Programme comme donnée, calculabilité et décidabilité tombés au Bac de Numérique et Sciences Informatiques (2024). Avec corrigé détaillé.

Exercice 1 · Métropole 2 remplacement 2024

Exercice 1 : Étude de la terminaison d'algorithmes itératifs (boucle while) et récursifs en Python, puis preuve par l'absurde de l'indécidabilité du problème de l'arrêt (fonction paradoxe).

Autres thèmes : Numérique et Sciences Informatiques

Structures de données

Bases de données

Architectures, systèmes et réseaux

Langages et programmation

Algorithmique