Nos Abonnements
Ressources Électroniques
Détail de l'auteur
Auteur Djamel Eddine Zegour |
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
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.
...Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 059866 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059865 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059864 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059863 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059862 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059861 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059860 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 059867 004.2 HID Papier Bibliothèque Centrale Informatique Disponible Exclu du prêt
Titre : Structures de données et de fichiers : recueil de sujets d'examens avec corrigés types Type de document : texte imprimé Auteurs : Djamel Eddine Zegour, Auteur Editeur : Alger : Edition des itineraires scientifiques Année de publication : 2022 Importance : 283 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-9931-825-91-3 Langues : Français (fre) Mots-clés : Algorithmes -- Problèmes et exercices
Algorithmes -- Travaux pratiques -- Manuels d'enseignement supérieurIndex. décimale : 004.421 Algorithmes pour élaboration du programme Résumé : La présentation brève des principales structures de données et de fichiers. Comme structures de données on y trouvera les listes linéaires chaînées, les piles, les files d'attente, les arbres, les techniques de hachage. Comme structures de fichiers, on y trouvera les structures simples, les méthodes d'index pour l'accès uni et multidimensionnel, les méthodes d'arbres et de hachage.
La proposition d'un éventail de sujet d'examens avec des corrigés type portant sur toutes les structures de données et de fichiers évoquées. Ainsi, plus d'une centaine d'algorithmes sont proposés et solutionnés dans un langage algorithmique clair et concis.
Ce livre s'adresse à des étudiants ayant déjà des connaissances en matières de structures de données et de fichiers. Il est aussi destiné aux ingénieurs et chercheurs, principalement comme un guide pratique.Note de contenu : Au sommaire :
1. Rappel cours "structures de données et de fichiers".
2. Langage algorithmique utilisé.
3. Énoncés de sujets d'examen.
4. Corrigés.Structures de données et de fichiers : recueil de sujets d'examens avec corrigés types [texte imprimé] / Djamel Eddine Zegour, Auteur . - Alger : Edition des itineraires scientifiques, 2022 . - 283 p. : ill. ; 24 cm.
ISBN : 978-9931-825-91-3
Langues : Français (fre)
Mots-clés : Algorithmes -- Problèmes et exercices
Algorithmes -- Travaux pratiques -- Manuels d'enseignement supérieurIndex. décimale : 004.421 Algorithmes pour élaboration du programme Résumé : La présentation brève des principales structures de données et de fichiers. Comme structures de données on y trouvera les listes linéaires chaînées, les piles, les files d'attente, les arbres, les techniques de hachage. Comme structures de fichiers, on y trouvera les structures simples, les méthodes d'index pour l'accès uni et multidimensionnel, les méthodes d'arbres et de hachage.
La proposition d'un éventail de sujet d'examens avec des corrigés type portant sur toutes les structures de données et de fichiers évoquées. Ainsi, plus d'une centaine d'algorithmes sont proposés et solutionnés dans un langage algorithmique clair et concis.
Ce livre s'adresse à des étudiants ayant déjà des connaissances en matières de structures de données et de fichiers. Il est aussi destiné aux ingénieurs et chercheurs, principalement comme un guide pratique.Note de contenu : Au sommaire :
1. Rappel cours "structures de données et de fichiers".
2. Langage algorithmique utilisé.
3. Énoncés de sujets d'examen.
4. Corrigés.Réservation
Réserver ce document
Exemplaires (10)
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 059871 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059873 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059872 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059869 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059868 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059875 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059874 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059870 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059877 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible En bon état 059876 004.421 ZEG Papier Bibliothèque Centrale Informatique Disponible Exclu du prêt
