Cours d'informatique 525: logique