Algorithmes, machines et langages - Gérard Berry

Gérard Berry

Collège de France

Chaire Algorithmes, machines et langages (2012-2019)

Leçon inaugurale : L'informatique du temps et des événements

Date : 28 mars 2013

Résumé

Gérer le temps et les événements est central dans des domaines variés de l'informatique, des circuits et logiciels embarqués dans des objets de toutes sortes à la création musicale, en passant par la simulation de phénomènes physiques. Ce sujet est pourtant peu traité par l'informatique classique. Cette leçon présente des modélisations du temps et des événements associées à de nouveaux langages de programmation. Elle traite des notions d'épaisseur de l'instant, de temps hiérarchique et multiforme créé par la répétition d'événements, et du rapport temps réel/temps continu.

Gérard Berry

Collège de France

Chaire annuelle Informatique et sciences numériques (2009-2010)

LEÇON INAUGURALE : Penser, modéliser et maîtriser le calcul informatique

Date : 19 novembre 2009

Résumé

Notre vie quotidienne est sans cesse bouleversée par les innovations technologiques du monde numérique. Mais les fondements de celui-ci restent largement ignorés du public, qui semble en permanence surpris par des évolutions pourtant prévisibles : c'est le signe d'un schéma mental mal adapté. L'ambition de cette leçon inaugurale est d'aider à construire un bon sens informatique, en expliquant sur quels concepts scientifiques et techniques repose la révolution numérique, quels outils elle met en oeuvre, et quels sont ses impacts et ses difficultés.

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Huitième cours

Les grands challenges du numérique, conclusion

28 mars 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Septième cours

Les grands challenges du numérique

21 mars 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Sixième cours

Les réseaux, un espace d'innovation exceptionnel

14 mars 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Cinquième cours

A la chasse aux bugs : la vérification des programmes et circuits

22 février 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Quatrième cours

Les systèmes embarqués et l'informatisation des objets

15 février 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Troisième cours

Les langages de programmation, vecteurs de la pensée informatique

1er février 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Deuxième cours

Des circuits aux systèmes sur puces

1er février 2008

Gérard Berry

Chaire d'Innovation technologique - Liliane Bettencourt

Premier cours

Les algorithmes, coeur de l'informatique

25 janvier 2008