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 name	Attribute value
Common books attribute
Publisher	ELLIPSES
Page Count	216
Language	fr
Author	Lafourcade Pascal, Levy Michel, Devismes Stéphane
Format	Paperback / softback
Product type	Book
Publication date	28/02/2012
Weight	423 g
Dimensions (thickness x width x height)	1.40 x 17.50 x 26.00 cm

Summary