Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique pour l'informatique et pour l'intelligence artificielle
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Logique pour l'informatique et pour l'intelligence artificielle

Logique pour l'informatique et pour l'intelligence artificielle

Ricardo Caferra

Parution le 23/12/2010

Résumé

La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et pour l'intelligence artificielle donne les bases conceptuelles et les techniques nécessaires à la bonne utilisation d'outils tels que les démonstrateurs automatiques ou assistés. Il analyse les méthodes des tableaux sémantiques, de Davis et Putnam, de résolution ainsi que les concepts d'unification et de subsomption. La méthode de traduction est privilégiée pour les logiques non classiques. Les exemples ont été choisis de façon à guider la conception d'abstractions pertinentes pour des classes de problèmes. Les digressions et remarques permettent d'approfondir certains sujets et de découvrir des liens avec d'autres domaines d'étude. Les nombreux exercices corrigés apportent un complément indispensable à la bonne compréhension et à l'assimilation des notions.

Caractéristiques techniques

  PAPIER NUMERIQUE
Éditeur(s) Hermès - Lavoisier
Auteur(s) Ricardo Caferra
Parution 23/12/2010 23/12/2010
Nb. de pages - 424
Format 15 x 22 -
Couverture Broché -
Poids 630g -
Contenu - PDF
EAN13 9782746226005 9782746241114
ISBN13 978-2-7462-2600-5 -

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription