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
Indisponible

Me prévenir lorsque l'article est disponible

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

LIVRE
ISBN :  9782729872298
24,40€
TTC
Indisponible

Me prévenir lorsque l'article est disponible

Haut de page