Les modèles et théories mathématiques qui constituent le fondement de l'informatique, incluant les concepts révolutionnaires de Turing.
Événements clés de l'histoire de l'informatique