Introduction au codage : représentation du code binaire et transistors

Histoire et définition de l'informatique

Explique les concepts de base de l'informatique et de leur interaction.

Analyse de terminaison à l'aide de paires de dépendances

Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.

Variables et types: Introduction à la programmation C

Introduit les bases des variables et des types dans la programmation C, couvrant la déclaration, l'initialisation et les différences par rapport à Java.

Essentiels du calcul scientifique

Couvre la pensée algorithmique, la programmation Python, les méthodes numériques et les concepts informatiques essentiels pour l'informatique scientifique.

Fondements du logiciel: Modélisation des langages de programmation

Couvre l'étude mathématique des comportements de programme, l'analyse, les langages spécifiques à un domaine et les outils puissants de conception de langage.