EAN13
9782729872298
Éditeur
Editions Ellipses
Date de publication
28 février 2012
Collection
Technosup
Nombre de pages
216
Dimensions
26 x 17,5 x 1,4 cm
Poids
423 g
Langue
fre

Informatique Théorique - Logique Et Démonstration Automatique - Introduction À La Logique Propositionnelle Et À La Logique Du Premier Ordre (Niveau A)

Pascal Lafourcade, Michel Levy, Stéphane Devismes

Editions Ellipses

Prix public : 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.
Trouver ou

Offres