L’objectif de ce cours est de solidifier les bases d’informatique vues par les étudiants au sein de la spécialité NSI, en particulier sur les sujets suivants : correction et complexité d’algorithmes, algorithmes sur les structures linéaires, les arbres et les graphes. Quelques notions au programme d’Introduction à l’informatique qui ne sont pas vus en NSI sont également étudiées : automates et machines de Turing. Finalement, le cours élargira ces différentes notions pour proposer de nouvelles connaissances et compétences, en lien avec différents modèles de calcul (lambda calcul, automates cellulaires, algorithmique distribuée, apprentissage statistique ou théorie des jeux...).
