Détail de l'auteur
author Gilles Dowek |
available document(s) by this author (3)
Affiner la recherche Interroger des sources externes
title : Introduction à la théorie des langages de programmation Type de document : printed text Auteur : Gilles Dowek, Author Mention d'édition : 1ed. Editeur : france : Les éditions De Lécole Polytechnique Date de publication : 2008 Nombre de pages : 109p. Dimensions : 24*17 ISBN (ou autre code) : 978-2-7302-1333-2 Langue : French (fre) Langue originale : French (fre) Indexation : inf Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets, ... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Lien vers la ressource électronique : https://opac.centre-univ-mila.dz/z//introduction à la théorie des langage 004 [...] Introduction à la théorie des langages de programmation [printed text] / Gilles Dowek, Author . - 1ed. . - france : Les éditions De Lécole Polytechnique, 2008 . - 109p. ; 24*17.
ISBN : 978-2-7302-1333-2
Langue : French (fre) Langue originale : French (fre)
Indexation : inf Résumé : La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la découverte des outils qui permettent de penser, définir et implémenter ces langages. Il propose une vision unifiée des différents formalismes, sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle, qui permettent de définir un langage de programmation, en insistant sur le fait que les uns et les autres cherchent toujours à définir une relation qui lie trois objets : un programme, une valeur d'entrée et une valeur de sortie. Ces formalismes sont illustrés en présentant la sémantique de quelques fonctionnalités représentatives des langages de programmation : les fonctions, la récursivité, les affectations, les enregistrements, les objets, ... en insistant sur le fait que l'étude des langages de programmation ne consiste pas à étudier ces langages l'un après l'autre, mais s'organise autour des fonctionnalités que l'on retrouve dans les différents langages. L'étude de ces différentes fonctionnalités débouche enfin sur l'écriture d'évaluateurs, d'interpréteurs, de compilateurs, et aussi de programmes d'inférence de types, pour de petits langages. Lien vers la ressource électronique : https://opac.centre-univ-mila.dz/z//introduction à la théorie des langage 004 [...] Réservation
Réserver ce document
Exemplaires(5)
Barcode Call number Media type Location Section Statut inf/13035 004/956/1 Books Central Library External lending bank library AVAILABLE inf/13036 004/956/2 Books Central Library External lending bank library AVAILABLE inf/13037 004/956/3 Books Central Library External lending bank library AVAILABLE inf/13038 004/956/4 Books Central Library External lending bank library AVAILABLE inf/13039 004/956/5 Books Central Library External lending bank library AVAILABLE
title : La logique Type de document : printed text Auteur : Gilles Dowek, Author Mention d'édition : 1.éd Editeur : france : Poche - Le Pommier Date de publication : 2015 Nombre de pages : 96p. Dimensions : 18*11 ISBN (ou autre code) : 978-2-7465-0878-1 Langue : French (fre) Langue originale : French (fre) Indexation : phi Résumé : Cet ouvrage aborde le raisonnement, ainsi que la place de la logique au sein des connaissances actuelles. Lien vers la ressource électronique : https://opac.centre-univ-mila.dz/z//La logique 100-07.pdf La logique [printed text] / Gilles Dowek, Author . - 1.éd . - france : Poche - Le Pommier, 2015 . - 96p. ; 18*11.
ISBN : 978-2-7465-0878-1
Langue : French (fre) Langue originale : French (fre)
Indexation : phi Résumé : Cet ouvrage aborde le raisonnement, ainsi que la place de la logique au sein des connaissances actuelles. Lien vers la ressource électronique : https://opac.centre-univ-mila.dz/z//La logique 100-07.pdf Réservation
Réserver ce document
Exemplaires(5)
Barcode Call number Media type Location Section Statut phi/41414 100/07/1 Books Central Library External lending bank library AVAILABLE phi/41415 100/07/2 Books Central Library External lending bank library AVAILABLE phi/41416 100/07/3 Books Central Library External lending bank library AVAILABLE phi/41417 100/07/4 Books Central Library External lending bank library AVAILABLE phi/41418 100/07/5 Books Central Library External lending bank library AVAILABLE
title : les principes des langages de programmation Type de document : printed text Auteur : Gilles Dowek, Author Mention d'édition : 1ed. Editeur : france : Les éditions De Lécole Polytechnique Date de publication : 2008 Nombre de pages : 171p. Dimensions : 24*17 ISBN (ou autre code) : 978-2-7302-1526-8 Langue : French (fre) Langue originale : French (fre) Indexation : inf Résumé : Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis : Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Lien vers la ressource électronique : https://opac.centre-univ-mila.dz/z//les principes des langages de programmation [...] les principes des langages de programmation [printed text] / Gilles Dowek, Author . - 1ed. . - france : Les éditions De Lécole Polytechnique, 2008 . - 171p. ; 24*17.
ISBN : 978-2-7302-1526-8
Langue : French (fre) Langue originale : French (fre)
Indexation : inf Résumé : Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis : Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Lien vers la ressource électronique : https://opac.centre-univ-mila.dz/z//les principes des langages de programmation [...] Réservation
Réserver ce document
Exemplaires(5)
Barcode Call number Media type Location Section Statut inf/13071 004/962/1 Books Central Library External lending bank library AVAILABLE inf/13072 004/962/2 Books Central Library External lending bank library AVAILABLE inf/13073 004/962/3 Books Central Library External lending bank library AVAILABLE inf/13074 004/962/4 Books Central Library External lending bank library AVAILABLE inf/13075 004/962/5 Books Central Library External lending bank library AVAILABLE
