10% OFF

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

by Michel Lévy, Stéphane Devismes e Pascal Lafourcade
language: french
Publisher: ELLIPSES, February of 2012 ‧
52,36€
10% OFF CARD
free shipping
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.

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

by Michel Lévy, Stéphane Devismes e Pascal Lafourcade

Property Description
ISBN: 9782729872298
Publisher: ELLIPSES
Release Date: February of 2012
Language: French
Pages: 216
Format: Book
Collection: La Seconde Guerre Mondiale / 1939-1945
Categories: Books in French > Computing > Internet
EAN: 9782729872298

BOOKS FROM THE SAME COLLECTION