Introduit des bases de programmation et des structures de contrôle, mettant l'accent sur la pratique pratique pratique pour la préparation des examens et le travail de projet.
Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.
