11 episodes

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

Informatique et sciences numériques Collège de France

    • Technology

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

    08 - Les grands challenges du numérique, conclusion

    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

    • 1 hr 1 min
    07 - Les grands challenges du numérique

    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 min
    • video
    À la chasse aux bugs

    À la chasse aux bugs

    Le Collège de France présente :
    Gérard Berry
    Chaire d'Innovation technologique Liliane Bettencourt
    À la chasse aux bugs : La vérification des programmes et circuits

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

    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 min
    05 - A la chasse aux bugs : la vérification des programmes et circuits

    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 min
    04 - Les systèmes embarqués et l'informatisation des objets

    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 min

Top Podcasts In Technology

Listeners Also Subscribed To

More by Collège de France