| Titre : | de la logique à prolog cours et exercices | | Type de document : | texte imprimé | | Auteurs : | BAHI-ABIDET, Halima, Auteur | | Editeur : | Office Des Publications Universitaires | | Année de publication : | 2016 | | Importance : | 100p | | Présentation : | couv. ill. en coul. | | Format : | 15*22 cm | | ISBN/ISSN/EAN : | 978-9961-01-927-6 | | Prix : | 420.00 DA | | Note générale : | Bibliogr.p (96) | | Langues : | Français (fre) | | Mots-clés : | La logique mathématique Les systèmes formels La logique propositionnelle | | Index. décimale : | 005.740 BAH | | 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. |
de la logique à prolog cours et exercices [texte imprimé] / BAHI-ABIDET, Halima, Auteur . - 1,Place centrale de Ben-Aknoun, Alger : Office Des Publications Universitaires, 2016 . - 100p : couv. ill. en coul. ; 15*22 cm. ISBN : 978-9961-01-927-6 : 420.00 DA Bibliogr.p (96) Langues : Français ( fre) | Mots-clés : | La logique mathématique Les systèmes formels La logique propositionnelle | | Index. décimale : | 005.740 BAH | | 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. |
|  |
Affiner la recherchede la logique à prolog cours et exercices / BAHI-ABIDET, Halima
