De La Logique À Prolog
Résumé: Cet ouvrage se propose d’apporter a l’étudiant en logique mathématique un support de cours et un recueil d’exercices qui lui permettront d’acquérir les bases du raisonnement logique en termes de représentation de la connaissance et en termes d’inférence en logique .Ensuite ,il sera accompagné pour faire le passage depuis la logique des prédicats au paradigme de la programmation logiques des prédicats au paradigme de la programmation logique . Enfin, d’un point de vue pratique, le lecteur devrait pouvoir programmer en Prolog qui est un langage de programmation issu de ce paradigme est se rendre compte de la richesse de ce mode de programmations qui est une alternative a la programmation procédurale.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
