Traitement en cours...
Fermer la notification

Le saviez-vous ?

SIDE a travaillé avec ses fournisseurs pour rendre ses colis respectueux de l'environnement.
Fini le plastique !
Le ruban adhésif qui sécurise la fermeture de nos colis et les chips de calage qui immobilisent les livres dans les cartons sont en matériaux recyclables et biodégradables.

Afficher la notification

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
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.
Nom d'attributValeur d'attribut
Common books attribute
ÉditeurELLIPSES
Nombre de pages216
Langue du livreFrançais
AuteurLafourcade Pascal, Levy Michel, Devismes Stéphane
FormatPaperback / softback
Type de produitLivre
Date de parution28/02/2012
Poids423 g
Dimensions (épaisseur x largeur x hauteur)1,40 x 17,50 x 26,00 cm
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.