Un article a bien été ajouté à votre panier

Calcul en logique du premier ordre

Calcul en logique du premier ordre

Auteur : Yves Bouchard

32,00 €
Cet ouvrage constitue une introduction à deux outils de calcul logique du premier ordre, soit le calcul en arbres de consistance et le calcul en déduction naturelle. De nombreux exemples et exercices, accompagnés de leurs solutions, aideront l'étudiant à progresser vers des calculs toujours plus complexes et à raffiner ses méthodes de calcul logique. ©Electre 2024
Terminer ma commande