Le programme de Numérique et Sciences Informatiques en Terminale.

Les grandes étapes du calcul automatique, l'évolution des architectures, des systèmes d'exploitation, des réseaux, des langages et des algorithmes, avec leurs protagonistes.

• Étapes du calcul automatique
• Évolution des architectures
• Générations de langages
• Naissance des réseaux et du Web

Interfaces et implémentations des structures linéaires : liste, pile, file, dictionnaire. Coût de chaque opération et choix de la structure adaptée.

• Interface et implémentation
• Pile LIFO et file FIFO
• Coût amorti des opérations de liste
• Dictionnaire et table de hachage

Vocabulaire des arbres, taille et hauteur, parcours en profondeur et en largeur, arbre binaire de recherche, insertion et coût de la recherche.

• Taille, hauteur, arité
• Parcours préfixe, infixe, suffixe
• Arbre binaire de recherche
• Déséquilibre et cas dégénéré

Graphes orientés et non orientés, matrice d'adjacence et listes d'adjacence, parcours en largeur et en profondeur, détection de cycle et recherche de chemins.

• Matrice et listes d'adjacence
• Parcours en largeur
• Parcours en profondeur
• Détection de cycle

Cas de base et cas récursif, pile d'appels, arbre des appels, méthode diviser pour régner, tri fusion et relations de récurrence de coût.

• Cas de base et terminaison
• Pile d'appels et coût mémoire
• Diviser pour régner
• Récursivité multiple

Sous-structure optimale, chevauchement des sous-problèmes, mémoïsation et tables de calcul, comparaison avec la stratégie gloutonne du rendu de monnaie.

• Sous-structure optimale
• Mémoïsation et table de calcul
• Choix glouton et optimum local
• Rendu de monnaie et sac à dos

Recherche séquentielle et dichotomique, recherche textuelle et algorithme de Boyer-Moore, tris quadratiques, invariants de boucle, terminaison et notation grand O.

• Recherche dichotomique
• Recherche textuelle, Boyer-Moore
• Tris quadratiques
• Invariant, terminaison, correction

Décomposition en modules, bibliothèques et interfaces, spécifications, assertions, jeux de tests, mise au point d'un programme et gestion des bugs.

• Modules et bibliothèques
• Spécification et assertions
• Jeu de tests et cas limites
• Effets de bord et portée des variables

Classe, objet, attributs et méthodes, constructeur, encapsulation, instances multiples et usage de l'objet pour implémenter une structure de données.

• Classe, instance, constructeur
• Attributs et méthodes
• Encapsulation et interface
• Objets et structures de données

Programme vu comme donnée, machine de Turing, problème de l'arrêt et indécidabilité, paradigmes impératif, fonctionnel et objet.

• Programme comme donnée
• Problème de l'arrêt
• Décidable et calculable
• Paradigmes de programmation

Relations, attributs et domaines, clé primaire et clé étrangère, contraintes d'intégrité, requêtes SQL de sélection, jointure et agrégation, rôle du SGBD.

• Relation, schéma, domaine
• Clé primaire et clé étrangère
• Jointure et agrégation
• Contraintes d'intégrité et SGBD

Système sur puce, rôle du système d'exploitation, processus et états, ordonnancement, commandes de base, interblocage et conditions de Coffman.

• Système sur puce et ressources
• Processus et états
• Ordonnancement
• Interblocage et conditions de Coffman

Modèle en couches, adressage IP, commutation de paquets, protocoles de routage RIP et OSPF, chiffrement symétrique et asymétrique, HTTPS.

• Modèle en couches
• Adressage IP et masque
• Routage RIP et OSPF
• Chiffrement et HTTPS