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,...
Gérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Huitième cours
Les grands challenges du numérique, conclusion
28 mars 2008
Published 04/24/08
Gérard Berry
Chaire d'Innovation technologique - Liliane Bettencourt
Septième cours
Les grands challenges du numérique
21 mars 2008
Published 04/24/08
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
Published 04/16/08