LIVRES NUMÉRIQUESJEUNESSEBÉBÉJEUX, JOUETSPAPETERIECADEAUXDIVERTISSEMENT


Message Important
Le site sera temporairement en maintenance, pour une mise à jour. Ceci afin de mieux vous servir.
Heure de maintenance prévue : 10:30 pm

Important message
The site will be busy updating the store for you and will be back shortly.
Scheduled maintenance : 10:30 pm
Calcul en logique du premier ordre - YVES BOUCHARD

Calcul en logique du premier ordre

YVES BOUCHARD

 
37,00 $

Feuilleter Feuilleter
En stock : Expédié en 48 heures.
Quantité
Ajouter à ma liste de souhaits
Non disponible en succursale
Autre(s) format(s) disponible(s)
EN SAVOIR PLUS Résumé

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.

Détails
Prix : 37,00 $
Catégorie :
Auteur :  YVES BOUCHARD
Titre : Calcul en logique du premier ordre
Date de parution : février 2015
Éditeur : PRESSES UNIVERSITE QUEBEC
Pages : 304
Sujet : MATHEMATIQUES
ISBN : 9782760542099 (2760542092)
Référence Renaud-Bray : 276000402
No de produit : 1678685

SUGGESTIONS
Suggestions
Grand atlas de l'astronomie COLLECTIF
39,95 $
Une brève histoire du temps : du big bang aux trous noirs N. éd. HAWKING, STEPHEN
11,50 $
Demain le Québec COLLECTIF
28,95 $
Calcul en logique du premier ordre , BOUCHARD, YVES
© PRESSES UNIVERSITE QUEBEC 2015