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, (...)