texte imprimé

Informatique théorique Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre

Stéphane Devismes, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Michel Lévy, Auteur | Paris : Ellipses | Technosup | 2012

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.

Plus d'information...

Ajouter un tag

Réserver

Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200