CDI du lycée CSI de Lyon

Codage : 10 bonnes raisons de s'y mettre / Jessica Jeffries-Britten in Okapi, 1009 (01/10/2015)

Public ISBD [article]  inOkapi > 1009 (01/10/2015) Titre : Codage : 10 bonnes raisons de s'y mettre Type de document : texte imprimé Auteurs : Jessica Jeffries-Britten, Auteur Année de publication : 2015 Article en page(s) : p.26-31 Note générale : Webographie. Langues : Français (fre) Catégories : Enseignement de l'informatique Langage de programmation Résumé : Dossier consacré aux raisons qui expliquent l'importance de développer l'enseignement du codage numérique au collège, prévu à la rentrée 2016 : s'amuser à créer histoires et jeux ; mieux connaître son ordinateur ; apprendre une langue de programmation ; un bon outil pour partager et progresser ; une autre relation enseignant-élève ; progresser en mathématiques par l'informatique ; développer des capacités de logique et de rigueur ; découvrir aussi par ses propres erreurs ; accéder à de nouveaux métiers comme concepteur de jeux vidéo et game designer. Encadrés : découvrir le codage par une association ; créer son propre jeu au collège ; participer à un stage bricolage pour fabriquer son propre objet numérique avec des pièces recyclées. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage Niveau : collège [article] Codage : 10 bonnes raisons de s'y mettre [texte imprimé] / Jessica Jeffries-Britten, Auteur . - 2015 . - p.26-31. Webographie. Langues : Français (fre) in Okapi > 1009 (01/10/2015) Catégories : Enseignement de l'informatique Langage de programmation Résumé : Dossier consacré aux raisons qui expliquent l'importance de développer l'enseignement du codage numérique au collège, prévu à la rentrée 2016 : s'amuser à créer histoires et jeux ; mieux connaître son ordinateur ; apprendre une langue de programmation ; un bon outil pour partager et progresser ; une autre relation enseignant-élève ; progresser en mathématiques par l'informatique ; développer des capacités de logique et de rigueur ; découvrir aussi par ses propres erreurs ; accéder à de nouveaux métiers comme concepteur de jeux vidéo et game designer. Encadrés : découvrir le codage par une association ; créer son propre jeu au collège ; participer à un stage bricolage pour fabriquer son propre objet numérique avec des pièces recyclées. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage Niveau : collège

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
32698	PER	Périodique	CDI Lycée	Documentaire	Disponible

Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" / Xavier Leroy in La Recherche (Paris. 1970), 548 (06/2019)

Public ISBD [article]  inLa Recherche (Paris. 1970) > 548 (06/2019) Titre : Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" Type de document : texte imprimé Auteurs : Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur Année de publication : 2019 Article en page(s) : p.4-8 Note générale : Bibliographie. Langues : Français (fre) Catégories : Langage de programmation Mots-clés : contrôle Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview [article] Entretien avec Xavier Leroy : "En informatique la notion de confiance est fondamentale" [texte imprimé] / Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur . - 2019 . - p.4-8. Bibliographie. Langues : Français (fre) in La Recherche (Paris. 1970) > 548 (06/2019) Catégories : Langage de programmation Mots-clés : contrôle Résumé : Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des langages ; ses travaux de recherche avec la création du langage OCaml ; l'utilisation de méthode formelle de vérification des programmes afin de les sécuriser (cas de l'échec du premier vol du lanceur Ariane 5). Encadré : éléments biographiques. Nature du document : documentaire Genre : Article de périodique/Entretien, interview

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

IA & design : quand l'ordinateur réinvente les objets / Muriel Valin in La Science et la vie (Paris), 1192 (01/2017)

Public ISBD [article]  inLa Science et la vie (Paris) > 1192 (01/2017) Titre : IA & design : quand l'ordinateur réinvente les objets Type de document : texte imprimé Auteurs : Muriel Valin, Auteur Année de publication : 2017 Article en page(s) : p.80-85 Langues : Français (fre) Catégories : Algorithme Intelligence artificielle Langage de programmation Mots-clés : design Résumé : Le point sur les innovations technologiques au service du design via le calcul d'algorithmes de conception par ordinateurs : principe, intérêts de cette approche appelée "conception générative", risques. Panorama d'objets conçus par algorithmes : la chaise la plus légère, la voiture la plus résistante, le pont le plus épuré, l'avion le plus écologique, la prothèse la plus personnalisée. Nature du document : documentaire Genre : Article de périodique [article] IA & design : quand l'ordinateur réinvente les objets [texte imprimé] / Muriel Valin, Auteur . - 2017 . - p.80-85. Langues : Français (fre) in La Science et la vie (Paris) > 1192 (01/2017) Catégories : Algorithme Intelligence artificielle Langage de programmation Mots-clés : design Résumé : Le point sur les innovations technologiques au service du design via le calcul d'algorithmes de conception par ordinateurs : principe, intérêts de cette approche appelée "conception générative", risques. Panorama d'objets conçus par algorithmes : la chaise la plus légère, la voiture la plus résistante, le pont le plus épuré, l'avion le plus écologique, la prothèse la plus personnalisée. Nature du document : documentaire Genre : Article de périodique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
34854	PER	Périodique	Archives périodiques CDI Lycée	Documentaire	Disponible

Kotlin, un langage russe à la portée de tous / Elena Koudriavtseva in Courrier international (Paris. 1990), 1413 (30/11/2017)

Public ISBD [article]  inCourrier international (Paris. 1990) > 1413 (30/11/2017) Titre : Kotlin, un langage russe à la portée de tous Type de document : texte imprimé Auteurs : Elena Koudriavtseva, Auteur Année de publication : 2017 Article en page(s) : p.42-43 Langues : Français (fre) Catégories : Enseignement de l'informatique Langage de programmation Mots-clés : URSS (1922-1991)  1945-2000 Résumé : Dans Ogoniok [presse russe], extraits d'un reportage sur le langage informatique Kotlin, développé par des programmeurs russes de l'entreprise JetBrains et reconnu par Google : son but et ses avantages ; les difficultés des programmeurs face à la diversité des langages informatiques ; le financement dans le domaine de la programmation ; la création de langage informatique, un secteur d'élite ; les personnes travaillant sur le langage Kotlin ; retour historique sur l'enseignement de l'informatique en URSS depuis les années 1950, l'investissement dans la formation des développeurs dans les années 2000 ; l'économie numérique, une priorité officielle. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage [article] Kotlin, un langage russe à la portée de tous [texte imprimé] / Elena Koudriavtseva, Auteur . - 2017 . - p.42-43. Langues : Français (fre) in Courrier international (Paris. 1990) > 1413 (30/11/2017) Catégories : Enseignement de l'informatique Langage de programmation Mots-clés : URSS (1922-1991)  1945-2000 Résumé : Dans Ogoniok [presse russe], extraits d'un reportage sur le langage informatique Kotlin, développé par des programmeurs russes de l'entreprise JetBrains et reconnu par Google : son but et ses avantages ; les difficultés des programmeurs face à la diversité des langages informatiques ; le financement dans le domaine de la programmation ; la création de langage informatique, un secteur d'élite ; les personnes travaillant sur le langage Kotlin ; retour historique sur l'enseignement de l'informatique en URSS depuis les années 1950, l'investissement dans la formation des développeurs dans les années 2000 ; l'économie numérique, une priorité officielle. Nature du document : documentaire Genre : Article de périodique/Enquête, reportage

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
36857	PER	Périodique	CDI Lycée	Documentaire	Disponible