Découvrez ce podcast, et bien plus encore

Profitez gratuitement des podcasts sans abonnement. Nous offrons également des livres électroniques, des livres audio et bien plus encore, pour seulement $11.99/mois.

Leçon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatique

Leçon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatique

DeAlgorithmes, machines et langages - Gérard Berry


Leçon inaugurale - Gérard Berry : Penser, modéliser et maîtriser le calcul informatique

DeAlgorithmes, machines et langages - Gérard Berry

évaluations:
Longueur:
60 minutes
Sortie:
19 nov. 2009
Format:
Épisode de podcast

Description

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.
Sortie:
19 nov. 2009
Format:
Épisode de podcast

Titres dans cette série (31)

Ancien élève de l'École polytechnique, ingénieur général du Corps des mines, membre de l'Académie des science, de l'Académie des technologies et de l'Academia Europaea, chercheur à l'École des mines de Paris et à l'INRIA de 1970 à 2000, Directeur scientifique d'Esterel Technologies de 2001 à 2009, Gérard Berry est actuellement chercheur à l'Institut National de Recherche en Informatique et Automatique (INRIA) et président de la commission d'évaluation de cet institut. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel.