Treatment in progress...
Close notification

Our telephone...

is currently not working. We're doing all we can to get the problem solved as soon as possible. 
In the meantime, please use e-mail to contact us.

Display notification
FR EN
Back
or use our advanced search function
Your cart is empty.
  • Home /
  • Produits /
  • INFORMATIQUE /
  • INFORMATIQUE THÉORIQUE - Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre (Niveau A)
Picture of 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)

Lafourcade Pascal, Levy Michel, Devismes Stéphane
Publication date 28/02/2012
EAN: 9782729872298
Availability Available from publisher
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.
Detailed information
Attribute nameAttribute value
Common books attribute
PublisherELLIPSES
Page Count216
Languagefr
AuthorLafourcade Pascal, Levy Michel, Devismes Stéphane
FormatPaperback / softback
Product typeBook
Publication date28/02/2012
Weight423 g
Dimensions (thickness x width x height)1.40 x 17.50 x 26.00 cm
Summary
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.