| Titre : |
Construction de programmes |
| Type de document : |
texte imprimé |
| Auteurs : |
Walid Khaled Hidouci, Auteur ; Djamel Eddine Zegour, Auteur |
| Editeur : |
Alger : Edition des itineraires scientifiques |
| Année de publication : |
2022 |
| Importance : |
320 p. |
| Présentation : |
ill. |
| Format : |
25 cm. |
| ISBN/ISSN/EAN : |
978-9931-825-70-8 |
| Langues : |
Français (fre) |
| Mots-clés : |
Langage fonctionnel Langage logique |
| Index. décimale : |
004.2 Ordinateur. Configuration. Architecture d'ordinateur |
| Résumé : |
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érents 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. |
| Note de contenu : |
Au sommaire :
1. Système formel.
2. Théorie du point fixe.
3. Programmation procédurale.
4. Programmation procédurale. / Types de schémas.
5. Programmation procédurale. / Transformation.
6. Programmation procédurale. / Preuves.
7. Programmation procédurale. / Le projet "CONCORDE".
8. Programmation fonctionnelle.
9. Programmation fonctionnelle. / Lambda-calcul.
... |
Construction de programmes [texte imprimé] / Walid Khaled Hidouci, Auteur ; Djamel Eddine Zegour, Auteur . - Alger : Edition des itineraires scientifiques, 2022 . - 320 p. : ill. ; 25 cm. ISBN : 978-9931-825-70-8 Langues : Français ( fre)
| Mots-clés : |
Langage fonctionnel Langage logique |
| Index. décimale : |
004.2 Ordinateur. Configuration. Architecture d'ordinateur |
| Résumé : |
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érents 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. |
| Note de contenu : |
Au sommaire :
1. Système formel.
2. Théorie du point fixe.
3. Programmation procédurale.
4. Programmation procédurale. / Types de schémas.
5. Programmation procédurale. / Transformation.
6. Programmation procédurale. / Preuves.
7. Programmation procédurale. / Le projet "CONCORDE".
8. Programmation fonctionnelle.
9. Programmation fonctionnelle. / Lambda-calcul.
... |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
