Le catalogue

Informatique théorique : logique et démonstration automatique

Editeur 
Paris : Ellipses , impr. 2012 ; 27-Mesnil-sur-l'Estrée : CPI Firmin-Didot + Février 2012
Description 
1 vol. (209 p.). : illustrations en noir et blanc ; 26 x 18 cm
Collection 
ISBN 
978-2-7298-7229-8
Résumé 
La logique classique des circuits combinatoires à deux valeurs de vérité est abordée et des exercices corrigés gradués permettent de renforcer la rigueur de raisonnement.
Notes 
Bibliogr.p.205. Index
Situation
BibliothèqueLocalisationCoteSituationUtilisation
DelboMagasinsRDLmm-1610En rayonA consulter sur place
Authentifiez-vous pour réserver ce document