Programme comme donnée, calculabilité et décidabilité : exercices type Bac Numérique et Sciences Informatiques corrigés
Tous les exercices de Programme comme donnée, calculabilité et décidabilité tombés au Bac de Numérique et Sciences Informatiques de 2024 à 2025 (Métropole, Asie), avec le corrigé de chaque question. Fais-les dans l’ordre pour voir comment le thème est posé d’une année à l’autre.
Toutes les annales du Bac de Numérique et Sciences Informatiques · Bac blanc de Numérique et Sciences Informatiques
Programme comme donnée, calculabilité et décidabilité au Bac 2025
- Exercice 1 - Décidabilité et… · Asie 2025 (jour 1) · Questions 1 à 4 et 6 à 11 : programmes comme données, fonction exec et indécidabilité du problème de l'arrêt.
Programme comme donnée, calculabilité et décidabilité au Bac 2024
- 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…
S’entraîner sur ce thème, avec correction
- Programme comme donnée, calculabilité et décidabilité · Bac Numérique et Sciences Informatiques Asie · 1 exercice
- Programme comme donnée, calculabilité et décidabilité · Bac Numérique et Sciences Informatiques Métropole · 1 exercice
Autres thèmes de Numérique et Sciences Informatiques
- Bases de données relationnelles, SGBD et langage SQL · 92 exercices
- Structures de données abstraites : listes, piles, files, dictionnaires · 72 exercices
- Protocoles de routage : RIP et OSPF · 58 exercices
- Arbres : vocabulaire, mesures et algorithmique · 55 exercices
- Programmation orientée objet : classes, attributs, méthodes · 51 exercices
- Réseaux : adressage IP et sous-réseaux · 44 exercices
- Architectures matérielles et systèmes d'exploitation · 33 exercices
- Graphes : modélisation, implémentations et parcours · 28 exercices
- Récursivité · 27 exercices
- Coût des algorithmes, tris et recherche · 24 exercices
- Binaire, entiers et opérateurs booléens · 18 exercices
- Mise au point des programmes : bugs, assertions et tests · 16 exercices
- Sécurisation des communications : chiffrement et HTTPS · 10 exercices
- Programmation dynamique · 9 exercices
- Diviser pour régner · 9 exercices
- Modularité, API et paradigmes de programmation · 6 exercices
- Recherche textuelle et algorithme de Boyer-Moore · 3 exercices