Introduction
Ce que dit le programme :
L'objectif est d'introduire quelques éléments de logique en lien avec l'enseignement de l'informatique. Il s'agit d'une brève étude destinée à familiariser les étudiants à une pratique élémentaire du calcul portant sur des énoncés.
