Département:Informatique théorique/Présentation du département

L'informatique est une science théorique à finalité pratique. Elle concerne la définition, le classement, la recherche et le traitement automatiques des informations, d'où son nom : information – automatique.

Bien qu’il soit difficile de déterminer sa date de naissance, on s'accorde à penser qu'elle a émergé dans les années 1930. C’est donc une science très jeune qu’il est encore difficile de classer : certains l'incluent dans les mathématiques appliquées, voire dans la théorie des nombres ; d'autres disent qu’il s'agit d'une mathématique, incluse dans les mathématiques. Même si les frontières entre l'informatique et certains domaines des mathématiques sont floues de nos jours, certains théoriciens sont d'accord pour affirmer que, par l’axiome du choix, l'informatique est un sous-ensemble des mathématiques.

Abelson et Sussman ont noté que si les mathématiques partent de définitions (question ‘what is?’), l'informatique part toujours d’un but à atteindre (question ‘how to?’).