DiscoverInformatique et sciences numériques
Informatique et sciences numériques
Claim Ownership

Informatique et sciences numériques

Author: Gérard Berry

Subscribed: 82Played: 214
Share

Description

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
10 Episodes
Reverse
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtHuitième coursLes grands challenges du numérique, conclusion28 mars 2008
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtSeptième coursLes grands challenges du numérique21 mars 2008
À la chasse aux bugs

À la chasse aux bugs

2008-04-1600:59:38

Le Collège de France présente :Gérard BerryChaire d'Innovation technologique Liliane BettencourtÀ la chasse aux bugs : La vérification des programmes et circuits
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtSixième coursLes réseaux, un espace d'innovation exceptionnel14 mars 2008
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtCinquième coursA la chasse aux bugs : la vérification des programmes et circuits22 février 2008
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtQuatrième coursLes systèmes embarqués et l'informatisation des objets15 février 2008
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtTroisième coursLes langages de programmation, vecteurs de la pensée informatique1er février 2008
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtDeuxième coursDes circuits aux systèmes sur puces1er février 2008
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtPremier coursLes algorithmes, coeur de l'informatique25 janvier 2008
Gérard BerryChaire d'Innovation technologique - Liliane BettencourtLEÇON INAUGURALEPourquoi et comment le monde devient numérique17 janvier 2008
Comments 
loading
Download from Google Play
Download from App Store