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

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

Auteur(s) : Lafourcade Pascal, Levy Michel, Devismes Stéphane
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. LIRE LA SUITE
Pages : 216 pages
Format : 17,5 cm x 26 cm
Poids : 0,423 kg
LIVRE
ISBN :  9782729872298
24,40€
TTC
Impression à la demande En savoir plus sur l'impression à la demande

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.

L’éditeur vous recommande également

Droit du sport

Droit du sport

Auteur(s) : Al Anbagi Youcef, Agostini-Croce Baptist, Barangé Claire, Guy Jean-Christophe, Marronnier Léo, Neuffer Bruce, Otsomotsi Alida
Livre 21,00 €
LIVRE
ISBN :  9782729872298
24,40€
TTC
Impression à la demande En savoir plus sur l'impression à la demande

Haut de page