Éditeur : ELLIPSES
ISBN papier: 9782340042612
Parution : 2020
Code produit : 1427586
Catégorisation :
Livres /
Génie /
Informatique /
Ouvrages généraux
Format | Qté. disp. | Prix* | Commander |
---|---|---|---|
Livre papier | En rupture de stock** |
Prix membre : 56,00 $ Prix non-membre : 58,95 $ |
*Les prix sont en dollars canadien. Taxes et frais de livraison en sus.
**Ce produits est en rupture de stock mais sera expédié dès qu'ils sera disponible.
Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs applications en informatique, aboutissant aux méthodes algorithmiques de démonstration automatique.