L'informatique, que d'aucuns considèrent comme une technologie, est en réalité une véritable science issue des mathématiques. L'objectif de cette séquence est d'illustrer ce point en présentant certains "objets théoriques" de la discipline dont certains ont été élaborés à partir du XVIIIème siècle, avant même l'apparition officielle de notre discipline.