Présentation
La programmation abordée en première est prolongée en terminale avec un accent sur la sûreté : spécifier, documenter, tester et déboguer pour réduire les erreurs.
On met en perspective l’universalité et les limites du calcul (programme comme donnée, calculabilité, décidabilité, problème de l’arrêt).
La récursivité est introduite comme technique de base et sert à diversifier les algorithmes.
On apprend à choisir un paradigme (impératif, fonctionnel, objet) adapté au problème, en s’appuyant sur la modularité (API, bibliothèques).