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
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.
