Présente la théorie de la calculabilité et des langages formels ou l'étude de ce qu'il est possible de réaliser grâce à l'outil informatique.