ISTC : Editions itineraires scientifiques (2022)
- ISBN
978-9931-825-70-8
- Texte du rabat:
- Ce livre traite de la construction de programmes montrant les
différents paradigmes de programmation:
- La programmation procédurale aborde les différents schémas, les transformations entre schémas et les différentes formes de preuve.
- La programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction. Elle traite aussi des preuves des langages fonctionnels.
- La programmation logique rappelle la logique des prédicats du premier ordre et le principe des démonstrateurs automatiques de théorèmes.
- La programmation objet présente les concepts de base et montre leurs illustrations. Des exemples sont donnés offrant aux utilisateurs des menus tout préparés prêts à être paramétrés pour les intégrer dans les applications.
- La spécification exhibe un moyen rigoureux et moderne pour l’écriture automatique des compilateurs et des systèmes.
LISP(langage fonctionnel) et PROLOG (langage logique) sont introduits avec des exemples. Les fonctionnements des interpréteurs logiques et fonctionnels sont également exposés avec des exemples.
Ce livre couvre le cours ‘Construction de programmes’ tel qu’il est assuré à l’École Supérieure d’Informatique(ESI, Alger) pour les étudiants de graduation. Il rappelle, comme pré-requis, la théorie du point fixe et les systèmes formels. Enfin, une bonne partie de ce livre est consacrée aux exercices avec des corrigés types.
- Domiciliation ISTC:
- Douéra, Alger
- Auteurs:
- Djamel Eddine ZEGOUR
- Walid Khaled HIDOUCI
- Nombre de pages:
- 320
- Mots-clés:
- Théorie du point fixe - Systèmes formels - Programmation procédurale - Programmation fonctionnelle - Programmation logique - Programmation objet - Spécification de programmes et de systèmes -
- Transformation de programmes - Preuve de programmes - Logique des prédicats - démonstrateur de théorèmes - Lambda-calcul - Réductions