Passer au contenu
Mon compte
Wishlist
Panier 00:00

Calcul en logique du premier ordre

Audience : Adulte - Haut niveau
Le Pitch
Ce livre présente de manière approfondie les bases du calcul en logique du premier ordre, un domaine clé de la logique mathématique. L'auteur, Yves Bouchard, explore les concepts fondamentaux de cette branche de la logique, tels que les prédicats, les quantificateurs et les démonstrations formelles. Il guide le lecteur à travers des exemples détaillés et des exercices pratiques pour lui permettre de maîtriser les techniques de raisonnement en logique du premier ordre. Afficher moinsAfficher plus

Calcul en logique du premier ordre

32,00 €
Sélectionnez la condition
32,00 €

Le Pitch

Ce livre présente de manière approfondie les bases du calcul en logique du premier ordre, un domaine clé de la logique mathématique. L'auteur, Yves Bouchard, explore les concepts fondamentaux de cette branche de la logique, tels que les prédicats, les quantificateurs et les démonstrations formelles. Il guide le lecteur à travers des exemples détaillés et des exercices pratiques pour lui permettre de maîtriser les techniques de raisonnement en logique du premier ordre. Afficher moinsAfficher plus

Détails du livre

Titre complet
CALCUL EN LOGIQUE DU PREMIER ORDRE
Editeur
Format
Broché
Publication
02 avril 2015
Audience
Adulte - Haut niveau
Pages
288
Taille
25.4 x 20.3 x 1.5 cm
Poids
604
ISBN-13
9782760542099
Livré entre : 14 décembre - 19 décembre
Livraison gratuite (FR) à partir de 35,00 € de livres neufs
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés