Podcast

Informatique et sciences numériques

Gérard Berry

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 …