Titre :	Construction de programmes : sujets d'examen et exercices corrigés
Type de document :	texte imprimé
Auteurs :	Djamel-Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur
Editeur :	Alger : Éditions ITSC
Année de publication :	2022
Importance :	320 p.
Format :	25 cm.
ISBN/ISSN/EAN :	978-9931-825-70-8
Langues :	Français (fre)
Catégories :	INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees
Mots-clés :	Programmation
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é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.

Construction de programmes : sujets d'examen et exercices corrigés [texte imprimé] / Djamel-Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur . - Alger : Éditions ITSC, 2022 . - 320 p. ; 25 cm.
ISBN : 978-9931-825-70-8
Langues : Français (fre)

Catégories :	INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees
Mots-clés :	Programmation
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é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.