14 Calculabilité Décidabilité

🧩 Calculabilité et décidabilité — Révision NSI Terminale | Spécial Bac Dans cette vidéo de révision, on fait le point sur la calculabilité et la décidabilité au programme de Terminale NSI. Au programme : l'idée fondamentale qu'un programme peut être une donnée (avec le quine comme illustration), la question de la terminaison d'un programme, puis le célèbre raisonnement par l'absurde autour du programme hypothétique halt : la construction de sym, la contradiction de sym(sym) et la conclusion que halt ne peut pas exister. On énonce alors le problème de l'arrêt et le vocabulaire clé (problème décidable / indécidable, fonction calculable / non calculable), avec les repères historiques (Turing, Church, Hilbert, théorème de Rice) et la machine de Turing. En complément culturel, on aborde les classes P et NP (hors programme). Le tout avec les méthodes et les pièges à éviter pour viser une bonne note. Idéal pour réviser avant l'épreuve écrite et l'épreuve pratique ! 🎓 📚 Tous les supports de cours : https://eleprettre-118562.forge.apps.educa... 🔔 Abonne-toi pour ne manquer aucune vidéo de révision NSI ! #NSI #Terminale #BacNSI #Calculabilité #Décidabilité #ProblèmeDeLArrêt #MachineDeTuring #RévisionBac