Logique pour l'informatique et pour l'intelligence artificielle

Ricardo Caferra

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Hermes Science Publications

  • Paru le : 23/12/2010
  • Tous vos e-books sur notre application de lecture
  • Téléchargement immédiat
  • Aide au choix numérique
92,00 €
E-book - PDF
Vérifier la compatibilité avec vos supports

Decitre eBooks

Découvrez vos e-books avec notre application de lecture !

Votre note
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.
  • Date de parution : 23/12/2010
  • Editeur : Hermes Science Publications
  • ISBN : 978-2-7462-4111-4
  • EAN : 9782746241114
  • Format : PDF
  • Nb. de pages : 424 pages
  • Caractéristiques du format PDF
    • Pages : 424
    • Taille : 4 676 Ko
    • Protection num. : Digital Watermarking
    • Transferts max. : Autorisé
    • Imprimable : Autorisé
    • Copier coller : Autorisé

Nos avis clients sur decitre.fr


Avis Trustpilot

Logique pour l'informatique et pour l'intelligence artificielle est également présent dans les rayons

Ricardo Caferra - Logique pour l'informatique et pour l'intelligence artificielle.
Logique pour l'informatique et pour l'intelligence artificielle
92,00 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK

Ne partez pas tout de suite...

Inscription newsletter