La bibliothèque numérique des universités publiques du Sénégal

Logique élémentaire

Cours de base pour informaticiens

QRcode

Auteur(s): Zahnd, Jacques

Editeur: Presses polytechniques et universitaires romandes

Année de Publication: 2006

pages: 440

ISBN: 978-2-88914-203-3

eISBN: 978-2-8323-1872-0

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’en

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.

Voir toute la description...

Score ?

0

Dossiers Publics

0

see more...

Dossiers Privés

0

see more...

Etagères de cours

0

see more...

Commentaires

0

see more...