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 !
Que lire en ce moment ? Voici ce que des lecteurs et lectrices passionnés vous conseillent !
Revenu sur les terres de son enfance, l'auteur entame un dialogue avec ce petit garçon plein d'ambitions qu'il a été...
Nous suivons Mathilde Levesque, agrégée de lettres, dans un lycée du 93, pendant une année scolaire...
Astrid Houssin signe ce récit sur la douleur et la reconstruction
