INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)

Lafourcade Pascal, Levy Michel, Devismes Stéphane

Date de parution 28/02/2012

EAN: 9782729872298

Disponibilité Disponible chez l'éditeur

39,00 €

Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués.

Informations détaillées

Nom d'attribut	Valeur d'attribut
Common books attribute
Éditeur	ELLIPSES
Nombre de pages	216
Langue du livre	Français
Auteur	Lafourcade Pascal, Levy Michel, Devismes Stéphane
Format	Paperback / softback
Type de produit	Livre
Date de parution	28/02/2012
Poids	423 g
Dimensions (épaisseur x largeur x hauteur)	1,40 x 17,50 x 26,00 cm

Résumé