Edición en Francés
|
dashboard
Serie
Informatique
|
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.
Título : Logique élémentaire
EAN : 9782889142033
Editorial : Presses Polytechniques Universitaires Romandes
El libro electrónico Logique élémentaire está en formato PDF
¿Quieres leer en un eReader de otra marca? Sigue nuestra guía.
Conectarme
Mi cuenta