A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Gilles Dowek |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesInformatique et sciences du numérique / Gilles Dowek (DL 2012, cop. 2012)
Titre : Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de projets Type de document : texte imprime Auteurs : Gilles Dowek ; Emmanuel Baccelli Archambault Editeur : Eyrolles Année de publication : DL 2012, cop. 2012 Collection : Collection noire (Paris) Importance : (X-301 p.) Présentation : ill. en noir et en coul., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-212-13543-5 Note générale : Analyse et compléments sur le blog "Informatique, image et son" de la Bibliothèque des sciences et de l'industrie (BSI) (http://www.cite-sciences.fr/bibliotheque/blog-informatique/2013/04/23/un-manuel-dinformatique-pour-la-generation-y/). - Autres contributions : Claudio Cimelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville et Benjamin Wack
IndexLangues : Français Mots-clés : Informatique Langages de programmation Algorithmes Résumé :
Voici le premier manuel pour l'enseignement de spécialité "Informatique et sciences du numérique" pour les élèves de Terminale S.
Avec :
une table des matières en quatre parties qui reprennent les grands thèmes du programme : langages et programmation, informations, machines, algorithmes,
des chapitres essentiels et avancés dans chacune de ces parties,
des exercices de niveau facile ou plus difficile, corrigés lorsque cela est nécessaire,
une large place accordée aux activités pratiques,
des ouvertures sur un certain nombre de questions de société liées au développement du monde numérique,
des idées de projets (l'épreuve du bac étant centrée autour de l'évaluation des projets des élèves),
des témoignages de jeunes informaticiens,
il permettra aux élèves d'aborder cette discipline avec plaisir et curiosité.
L'équipe des auteurs est née de la rencontre d'informaticiens et d'enseignants qui ont une longue expérience au lycée tant en mathématiques qu'en STI. Plusieurs d'entre eux ont contribué à faire comprendre l'importance d'introduire cette spécialité au lycée, et aidé à concevoir la démarche d'enseignement de l'informatique qui l'accompagne.
Le langage de programmation utilisé étant laissé aux choix des enseignants, les programmes figurant dans le manuel sont accessibles en Python, Java, Java'sCool, JavaScript, C et C++ (voir le site des Editions Eyrolles, www.editions-eyrolles.com).
Public
Lycéens inscrits à la spécialité ISN ;
Enseignants de la spécialité ISN ;
Centres de documentation et d'information des lycées ;
Lecteurs souhaitant comprendre les bases de l'informatique.
Avec une préface de Gérard Berry, professeur au Collège de France.Note de contenu :
Première partie - Langages
Les ingrédients des programmes
Les boucles
Les types
Les fonctions
La récursivité
La notion de langage formel
Deuxième partie - Informations
Représenter des nombres entiers et à virgule
Représenter des caractères et des textes
Représenter des images et des sons
Les fonctions booléennes
Structurer l'information
Compresser, corriger, chiffrer
Troisième partie - Machines
Les portes booléennes
Le temps et la mémoire
L'organisation d'un ordinateur
Les réseaux
Les robots
Quatrième partie - Algorithmes
Ajouter deux nombres exprimés en base deux
Dessiner
La dichotomie
Trier
Parcourir un graphe
Idées de projets
Un générateur d'exercices de calcul mental
Mastermind
Brin d'ARN
Bataille navale
Cent mille milliards de poèmes
Site de rencontres
Tracer la courbe représentative d'une fonction polynôme du second degré
Gérer le score au tennis
Automatiser les calculs de chimie
Tours de Hanoï
Tortue Logo
Dessins de plantes
Langage CSS
Calcul sur des entiers de taille arbitraire
Calcul en valeur exacte sur des fractions
Représentation des dates et heures
Transcrire dans l'alphabet latin
Correcteur orthographique
Daltonisme
Logisim
Banc de registres
Simuler le comportement d'un processeur
Utilisation du logiciel Wireshark
Algorithme de pledge
Algorithme calculant le successeur d'un nombre entier naturel n
Le jeu de la vie
Une balle
Générateur d'oeuvres aléatoires
Détecteur de mouvement visuel
Qui est-ce ?
Un joueur de Tic-tac-toe
Enveloppe convexe
Chemins les plus courts
Utilisation des réseaux sociauxPermalink : ./index.php?lvl=notice_display&id=15122 Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de projets [texte imprime] / Gilles Dowek ; Emmanuel Baccelli Archambault . - [S.l.] : Eyrolles, DL 2012, cop. 2012 . - (X-301 p.) : ill. en noir et en coul., couv. ill. en coul. ; 24 cm. - (Collection noire (Paris)) .
ISBN : 978-2-212-13543-5
Analyse et compléments sur le blog "Informatique, image et son" de la Bibliothèque des sciences et de l'industrie (BSI) (http://www.cite-sciences.fr/bibliotheque/blog-informatique/2013/04/23/un-manuel-dinformatique-pour-la-generation-y/). - Autres contributions : Claudio Cimelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville et Benjamin Wack
Index
Langues : Français
Mots-clés : Informatique Langages de programmation Algorithmes Résumé :
Voici le premier manuel pour l'enseignement de spécialité "Informatique et sciences du numérique" pour les élèves de Terminale S.
Avec :
une table des matières en quatre parties qui reprennent les grands thèmes du programme : langages et programmation, informations, machines, algorithmes,
des chapitres essentiels et avancés dans chacune de ces parties,
des exercices de niveau facile ou plus difficile, corrigés lorsque cela est nécessaire,
une large place accordée aux activités pratiques,
des ouvertures sur un certain nombre de questions de société liées au développement du monde numérique,
des idées de projets (l'épreuve du bac étant centrée autour de l'évaluation des projets des élèves),
des témoignages de jeunes informaticiens,
il permettra aux élèves d'aborder cette discipline avec plaisir et curiosité.
L'équipe des auteurs est née de la rencontre d'informaticiens et d'enseignants qui ont une longue expérience au lycée tant en mathématiques qu'en STI. Plusieurs d'entre eux ont contribué à faire comprendre l'importance d'introduire cette spécialité au lycée, et aidé à concevoir la démarche d'enseignement de l'informatique qui l'accompagne.
Le langage de programmation utilisé étant laissé aux choix des enseignants, les programmes figurant dans le manuel sont accessibles en Python, Java, Java'sCool, JavaScript, C et C++ (voir le site des Editions Eyrolles, www.editions-eyrolles.com).
Public
Lycéens inscrits à la spécialité ISN ;
Enseignants de la spécialité ISN ;
Centres de documentation et d'information des lycées ;
Lecteurs souhaitant comprendre les bases de l'informatique.
Avec une préface de Gérard Berry, professeur au Collège de France.Note de contenu :
Première partie - Langages
Les ingrédients des programmes
Les boucles
Les types
Les fonctions
La récursivité
La notion de langage formel
Deuxième partie - Informations
Représenter des nombres entiers et à virgule
Représenter des caractères et des textes
Représenter des images et des sons
Les fonctions booléennes
Structurer l'information
Compresser, corriger, chiffrer
Troisième partie - Machines
Les portes booléennes
Le temps et la mémoire
L'organisation d'un ordinateur
Les réseaux
Les robots
Quatrième partie - Algorithmes
Ajouter deux nombres exprimés en base deux
Dessiner
La dichotomie
Trier
Parcourir un graphe
Idées de projets
Un générateur d'exercices de calcul mental
Mastermind
Brin d'ARN
Bataille navale
Cent mille milliards de poèmes
Site de rencontres
Tracer la courbe représentative d'une fonction polynôme du second degré
Gérer le score au tennis
Automatiser les calculs de chimie
Tours de Hanoï
Tortue Logo
Dessins de plantes
Langage CSS
Calcul sur des entiers de taille arbitraire
Calcul en valeur exacte sur des fractions
Représentation des dates et heures
Transcrire dans l'alphabet latin
Correcteur orthographique
Daltonisme
Logisim
Banc de registres
Simuler le comportement d'un processeur
Utilisation du logiciel Wireshark
Algorithme de pledge
Algorithme calculant le successeur d'un nombre entier naturel n
Le jeu de la vie
Une balle
Générateur d'oeuvres aléatoires
Détecteur de mouvement visuel
Qui est-ce ?
Un joueur de Tic-tac-toe
Enveloppe convexe
Chemins les plus courts
Utilisation des réseaux sociauxPermalink : ./index.php?lvl=notice_display&id=15122 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité INF77/1 INF77 Livre Magasin d'Ouvrages / INF Informatique Consultation sur place
Exclu du prêtINF77/2 INF77 Livre Magasin d'Ouvrages / INF Informatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Introduction à la théorie des langages de programmation Type de document : texte imprime Auteurs : Gilles Dowek, Auteur ; Lévy, Jean-Jacques, Auteur Editeur : Paris : Ed. de l'école Polytechnique Année de publication : 2009 Importance : 171 p. Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7302-1333-2 Note générale :
Bibliogr. p. 109. IndexLangues : Français Mots-clés : Langages de programmation:sémantique Langages de programmation fonctionnelle Index. décimale : 005131 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. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.Note de contenu :
Les termes et les relations
Le langage PCF
De l'évaluation à l'interprétation
La compilation
Le langage PCF avec des types
L'inférence de types
Les références et les affectations
Les enregistrements et les objetsEn ligne : https://www.amazon.fr/Introduction-%C3%A0-th%C3%A9orie-langages-programmation/dp [...] Permalink : ./index.php?lvl=notice_display&id=13900 Introduction à la théorie des langages de programmation [texte imprime] / Gilles Dowek, Auteur ; Lévy, Jean-Jacques, Auteur . - Paris : Ed. de l'école Polytechnique, 2009 . - 171 p. : couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7302-1333-2
Bibliogr. p. 109. Index
Langues : Français
Mots-clés : Langages de programmation:sémantique Langages de programmation fonctionnelle Index. décimale : 005131 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. Ce livre, qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.Note de contenu :
Les termes et les relations
Le langage PCF
De l'évaluation à l'interprétation
La compilation
Le langage PCF avec des types
L'inférence de types
Les références et les affectations
Les enregistrements et les objetsEn ligne : https://www.amazon.fr/Introduction-%C3%A0-th%C3%A9orie-langages-programmation/dp [...] Permalink : ./index.php?lvl=notice_display&id=13900 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité L122/1 L122 Livre Magasin d'Ouvrages / INF Langage Consultation sur place
Exclu du prêtL122/2 L122 Livre Magasin d'Ouvrages / INF Langage Disponible L122/3 L122 Livre Magasin d'Ouvrages / INF Langage Disponible L122/4 L122 Livre Magasin d'Ouvrages / INF Langage Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : les principes des langages de programmation Type de document : texte imprime Auteurs : Gilles Dowek Editeur : Paris : EEP Année de publication : 2009 Importance : 168p. Présentation : ill. Format : 24cm ISBN/ISSN/EAN : 978-2-7302-1526-8 Note générale :
Autre tirage : 2011
IndexMots-clés : Java (langage de programmation) C (langage de programmation) Caml Light (langage de programmation) Langages de programmation Index. décimale : 00513 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.Note de contenu :
Le noyau impératif
Les fonctions
La récursivité
Les enregistrements
Les types de données dynamiques
Programmer avec des listes
Les exceptions
Les objets
Programmer avec des arbresEn ligne : https://www.amazon.fr/Principes-langages-programmation-Gilles-Dowek/dp/273021526 [...] Permalink : ./index.php?lvl=notice_display&id=13899 les principes des langages de programmation [texte imprime] / Gilles Dowek . - Paris : EEP, 2009 . - 168p. : ill. ; 24cm.
ISBN : 978-2-7302-1526-8
Autre tirage : 2011
Index
Mots-clés : Java (langage de programmation) C (langage de programmation) Caml Light (langage de programmation) Langages de programmation Index. décimale : 00513 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.Note de contenu :
Le noyau impératif
Les fonctions
La récursivité
Les enregistrements
Les types de données dynamiques
Programmer avec des listes
Les exceptions
Les objets
Programmer avec des arbresEn ligne : https://www.amazon.fr/Principes-langages-programmation-Gilles-Dowek/dp/273021526 [...] Permalink : ./index.php?lvl=notice_display&id=13899 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité l241/1 l241 Livre Magasin d'Ouvrages / INF Langage Consultation sur place
Exclu du prêtl241/2 l241 Livre Magasin d'Ouvrages / INF Langage Disponible l241/3 l241 Livre Magasin d'Ouvrages / INF Langage Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
