Manuel de programmation logique avec des exercices corrigés
Brahim Lejdel - Collection Omn.univ.europ.
88 pages, parution le 01/08/2018
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.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Editions universitaires européennes |
| Auteur(s) | Brahim Lejdel |
| Collection | Omn.univ.europ. |
| Parution | 01/08/2018 |
| Nb. de pages | 88 |
| Format | 15.2 x 22.9 |
| Couverture | Broché |
| Poids | 142g |
| EAN13 | 9783841741288 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
