Logique élémentaire

L’informaticien doit être capable de raisonner sur des objets tels que
programmes, structures de données, systèmes, processus, circuits logiques, et
il a besoin pour cela d’un outil de base. Essentiellement pédagogique, cet
ouvrage se propose donc d’enseigner les techniques élémentaires pour raisonner
non pas de la manière informelle et incertaine usuelle, mais de façon
formelle, c’est-à-dire en appliquant des règles précises de manipulation de
symboles ne laissant aucune place à l’ambiguïté et à l’erreur selon les règles
de la logique. Il est destiné aux étudiants du 1er cycle universitaire et aux
enseignants qui y trouveront un exposé soigné des règles du raisonnement
formel et de leur application systématique au traitement de la théorie
élémentaire des ensembles.