L'informatique est avant toute chose une science théorique,età contrairementfinalité auxpratique. idéesElle reçuesconcerne illa s'agitdéfinition, d'unele science strictement indépendante des ordinateurs. L'informatique estclassement, la sciencerecherche deet traiterle ettraitement gérerautomatiques lesdes informations d'une manière automatique, d'où son nom : '''infor'''mation - auto'''matique'''.
Bien qu'il soit difficile de déterminer l'époquesa date de naissance de cette science, on s'accorde aà penser qu'elle a émergéeémergé dans les années 1930. Ainsi lC'informatique est donc une science très jeune,aussiqu'il est-il encore difficile de la classer : certains l'incluent dans les mathématiques appliquées, voirvoire lesdans mathématiquesla discrètes,théorie des nombres ; d'autres disent qu'il s'agit d'''une'' mathématique, faisantincluse ainsidans partie des''les'' mathématiques. Même si les frontières entre l'informatique et certains domaines des mathématiques sont encore floues de nos jours, certains informaticiens théoriciens sont d'accord pour affirmer que, par l'[[w:axiome du choix|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?").
