Téléchargez le livre : Logique pour l'informatique et pour l'intelligence artificielle

Logique pour l'informatique et pour l'intelligence artificielle

de

Éditeur :

Hermés science


Collection :

Informatique

Paru le : 2010-12-23

eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
89,99 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
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.
Pages
424 pages
Collection
Informatique
Parution
2010-12-23
Marque
Hermés science
EAN papier
9782746226005
EAN PDF SANS DRM
9782746241114
Informations sur l'ebook
Prix
89,99 €

Suggestions personnalisées