Présente les fondements mathématiques de cette approche de la programmation informatique. Pour les étudiants de deuxième année à l'Ecole Polytechnique.