Himalaya-The podcast Player

4.8K Ratings
Open in app
title

Informatique et sciences numériques

Gérard Berry

0
Followers
0
Plays
Informatique et sciences numériques

Informatique et sciences numériques

Gérard Berry

0
Followers
0
Plays
OVERVIEWEPISODESYOU MAY ALSO LIKE

Details

About Us

Le cours est consacré à la modélisation mathématique du calcul automatique. Cette modélisation est indispensable pour maîtriser le calcul et éviter les bugs, en utilisant les modèles de calcul comme intermédiaires entre la pensée humaine, intuitive mais assez peu rigoureuse, et l'action des machines, rapide et sans erreur mais exécutant hélas toute commande erronée avec une conscience professionnelle impeccable. Le cours développe et met en perspective les principales classes de modèles : ceux de la calculabilité théorique, du calcul séquentiel, des calculs parallèles asynchrones, synchrones et vibratoires, et ceux de calcul diffus récemment apparus sur les réseaux à grande échelle comme Internet.Gérard Berry, chair "Informatics and Digital Sciences, course "Thinking about, modeling, and mastering automatic computation".The course is dedicated to the mathematical modeling of automatic computation. Such a modeling is indispensable to bridge the gap between human thinking, intuitive but not quite rigorous, and machine action, super-fast and super-exact, but capable of executing any wrong order without a blink. The course develops the different classes of models and puts them in perspectives : abstract computability models; models of sequential computation; models of synchronous or asynchronous computation; and the more recent models of diffuse computation at work on very large networks such as the Internet.Les enseignements sont diffusés avec le soutien de la Fondation Bettencourt Schueller

Latest Episodes

08 - Les grands challenges du numérique, conclusion

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Huitième cours Les grands challenges du numérique, conclusion 28 mars 2008

61 MIN2008 APR 24
Comments
08 - Les grands challenges du numérique, conclusion

07 - Les grands challenges du numérique

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Septième cours Les grands challenges du numérique 21 mars 2008

2 MIN2008 APR 24
Comments
07 - Les grands challenges du numérique

06 - Les réseaux, un espace d'innovation exceptionnel

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Sixième cours Les réseaux, un espace d'innovation exceptionnel 14 mars 2008

56 MIN2008 MAR 28
Comments
06 - Les réseaux, un espace d'innovation exceptionnel

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

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

59 MIN2008 MAR 28
Comments
05 - A la chasse aux bugs : la vérification des programmes et circuits

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

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

57 MIN2008 MAR 28
Comments
04 - Les systèmes embarqués et l'informatisation des objets

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

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

59 MIN2008 MAR 28
Comments
03 - Les langages de programmation, vecteurs de la pensée informatique

02 - Des circuits aux systèmes sur puces

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Deuxième cours Des circuits aux systèmes sur puces 1er février 2008

60 MIN2008 MAR 28
Comments
02 - Des circuits aux systèmes sur puces

01 - Les algorithmes, coeur de l'informatique

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Premier cours Les algorithmes, coeur de l'informatique 25 janvier 2008

52 MIN2008 MAR 28
Comments
01 - Les algorithmes, coeur de l'informatique

Pourquoi et comment le monde devient numérique

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt LEÇON INAUGURALE Pourquoi et comment le monde devient numérique 17 janvier 2008

56 MIN2008 JAN 23
Comments
Pourquoi et comment le monde devient numérique
the END

Latest Episodes

08 - Les grands challenges du numérique, conclusion

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Huitième cours Les grands challenges du numérique, conclusion 28 mars 2008

61 MIN2008 APR 24
Comments
08 - Les grands challenges du numérique, conclusion

07 - Les grands challenges du numérique

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Septième cours Les grands challenges du numérique 21 mars 2008

2 MIN2008 APR 24
Comments
07 - Les grands challenges du numérique

06 - Les réseaux, un espace d'innovation exceptionnel

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Sixième cours Les réseaux, un espace d'innovation exceptionnel 14 mars 2008

56 MIN2008 MAR 28
Comments
06 - Les réseaux, un espace d'innovation exceptionnel

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

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

59 MIN2008 MAR 28
Comments
05 - A la chasse aux bugs : la vérification des programmes et circuits

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

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

57 MIN2008 MAR 28
Comments
04 - Les systèmes embarqués et l'informatisation des objets

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

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

59 MIN2008 MAR 28
Comments
03 - Les langages de programmation, vecteurs de la pensée informatique

02 - Des circuits aux systèmes sur puces

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Deuxième cours Des circuits aux systèmes sur puces 1er février 2008

60 MIN2008 MAR 28
Comments
02 - Des circuits aux systèmes sur puces

01 - Les algorithmes, coeur de l'informatique

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt Premier cours Les algorithmes, coeur de l'informatique 25 janvier 2008

52 MIN2008 MAR 28
Comments
01 - Les algorithmes, coeur de l'informatique

Pourquoi et comment le monde devient numérique

Gérard Berry Chaire d'Innovation technologique - Liliane Bettencourt LEÇON INAUGURALE Pourquoi et comment le monde devient numérique 17 janvier 2008

56 MIN2008 JAN 23
Comments
Pourquoi et comment le monde devient numérique
the END
hmly
Welcome to Himalaya Premium