Chargement...
Chargement...
Auteur Desvismes, Stéphane
Auteur

Support

Série

Disponibilité

1
Informatique théorique : logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre (niveau A IUT-BTS-1er cycle)

Informatique théorique : logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre (niveau A IUT-BTS-1er cycle)

Auteur : Stéphane Desvismes
Éditeur(s): Ellipses
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. ©Electre 2024
24,40 €
Chargement...
1