Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique.