Cours de logique, 3 ème année d'informatique, Polytech