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,
Comment des questions théoriques ont-elles abouti à de grandes réalisations pratiques ? Comment l’informatique a-t-il permis la preuve de grands théorèmes ? Des questions passionnantes traitées par Gérard Berry, que nous avons la chance d’accueillir le 5 décembre !
Cette conférence s’inscrit dans le cycle de conférences "Cultures Numériques" et est co-organisée 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"
