Manuel de Programmation Logique avec des exercices corrigés

Univ Europeenne - EAN : 9783841741288
Brahim Lejdel
Édition papier

EAN : 9783841741288

Paru le : 1 août 2018

39,90 € 37,82 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
  • Benefits Livraison gratuite
    en France sans minimum
    de commande
  • Benefits Manquants maintenus
    en commande
    automatiquement
  • Benefits Un interlocuteur
    unique pour toutes
    vos commandes
  • Benefits Toutes les licences
    numériques du marché
    au tarif éditeur
  • Benefits Assistance téléphonique
    personalisée sur le
    numérique
  • Benefits Service client
    Du Lundi au vendredi
    de 9h à 18h
  • EAN13 : 9783841741288
  • Réf. éditeur : 7791035
  • Editeur : Univ Europeenne
  • Date Parution : 1 août 2018
  • Disponibilite : Disponible
  • Barème de remise : NS
  • Nombre de pages : 88
  • Format : H:229 mm L:152 mm E:5 mm
  • Poids : 142gr
  • Interdit de retour : Retour interdit
  • Résumé : La programmation logique est un type de programmation qui se base sur la logique des prédicats. Il permet de programmer plusieurs types d'applications à l'aide d'un ensemble de faits et de règles. Il utilise essentiellement des prédicats mis sous la forme clausale (Clauses d'Horn). Ces faits et ces règles sont exploités par moteur d'inférence, en réaction à une question ou une requête. Dans ce document, nous allons explorer trois chapitres principaux. En premier, nous allons présenter la logique classique et surtout la logique de prédicats. Deuxièmes, nous allons présenter comment programmer en utilisant swi-prolog. Chaque chapitre contient une section pour des exercices corrigés. Finalement, nous allons corriger quelques exercices de nos examens.
Haut de page
Copyright 2026 Cufay. Tous droits réservés.