Accueil > Contributions > L’informatique et les mathématiques, des interactions de plus en plus (...)

L’informatique et les mathématiques, des interactions de plus en plus fécondes par Gérard Berry informaticien, Professeur émérite au Collège de France, membre de l’Académie des sciences


Depuis 1936, avec Alan Turing et Alonzo Church - fondateurs de l’algorithmique et la programmation - jusqu’aux évolutions mathématico-informatiques comme l’algorithmique, la logique et la vérification formelle des programmes, le traitement du signal, la théorie des réseaux et la cryptologie, découvrez avec Gérard Berry comment des questions théoriques ont abouti à de grandes réalisations pratiques, et, inversement, comment l’informatique a permis la preuve formelle en machine de grands théorèmes et la résolution d’anciennes conjectures.

Cette conférence s’inscrit dans le cycle de conférences "Cultures Numériques" et est co-organisé par le service internet et expression multimédia et le réseau des médiathèques de la ville de Brest dans le cadre de "Science infuse"

Voir en ligne : https://www.a-brest.net/article2350...

À la une