L'informaticien doit savoir raisonner sur des objets tels que programmes, structures de données, systèmes, processus, circuits logiques, etc. Ce manuel enseigne les techniques de bases pour effectuer ces raisonnements en appliquant des règles précises de manipulation des symboles. Ce sont les règles de la logique. ©Electre 2025
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.
Paru le : 16/03/1998
Thématique : Généralités traitement informatique
Auteur(s) : Auteur : Jacques Zahnd
Éditeur(s) :
Presses polytechniques et universitaires romandes
Collection(s) : Informatique
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782880743604
Reliure : Broché
Pages : VII-430
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 2.6 cm
Poids: 1201 g
Carte fidélité
Mollat Radio
