| 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. |
|  |
005 Logiciels et utilisations de l'ordinateur : langages de programmation (Basic, C, Pascal, Fortran, Cobol...), programmation des calculatrices et jeux informatiques, systèmes d'exploitation (DOS, Windows, Linux...), logiciels (tableurs, traitements de texte, publication assistée par ordinateur = PAO, intégrés, systèmes de gestion de bases de données = SGBD, dessin assisté par ordinateur = DAO), infographie (images virtuelles), multimédia et cédéroms (du point de vue de leur contenu documentaire)
Affiner la recherchede la logique à prolog cours et exercices / BAHI-ABIDET, Halima
