GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (2)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Jean-Michel Autebert, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-enseignement | 1992Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices.
texte imprimé
Traite, à travers l'étude du langage Prolog, des principaux concepts de l'intelligence artificielle. Plusieurs exemples illustrent chaque étape de l'apprentissage, de nombreux exercices permettent une application immédiate du cours.
