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 de 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.
Attention : fichier PDF proposé au format texte sous image permettant la recherche plein texte.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Si certaines sont impressionnantes et effrayantes, d'autres sont drôles et rassurantes !
A gagner : la BD jeunesse adaptée du classique de Mary Shelley !
Caraïbes, 1492. "Ce sont ceux qui ont posé le pied sur ces terres qui ont amené la barbarie, la torture, la cruauté, la destruction des lieux, la mort..."
Un véritable puzzle et un incroyable tour de force !
