Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Logique informatique -- Problèmes et exercices     Intelligence artificielle -- Logiciels     Parcourir le catalogue     par auteur:      Caferra , Ricardo , 1945-....       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  Caferra , Ricardo , 1945-.... Titre :  Logique pour l'informatique et pour l'intelligence artificielle , Ricardo Caferra Editeur :  Paris : Hermes science publications : Lavoisier C 2011 Description :  1 vol. (424 p.) : graph., tabl. ; 24 cm Collection :  Collection informatique , 1242-7691 ISBN:  978-2-7462-2600-5 , br. , 89 EUR Notes :  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 (cit. 4e de couv.) Sujet :  Logique informatique -- Problèmes et exercices Intelligence artificielle -- Logiciels   Exemplaires Site Emplacement Cote Type de prêt Statut   Site de Saint-Martin Rotonde 006.3 CAF Prêt Disponible Réserver Ensea Espace bibliothèque ENSEA 006.3 CAF Empruntable Disponible

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.