L'informatique est un ensemble extrêmement vaste de connaissances, probablement aussi vaste que l'ensemble des sciences expérimentales, et les outils utilisés dans chacun des domaines qui la constituent (la compilation, la cryptologie, l'informatique graphique, ...) sont aussi différents que ceux de la physique de la matière condensée et de la biologie cellulaire. Toutefois, toutes les branches de l'informatique partagent un certain nombre de concepts : ceux d'algorithme, de programme et de machine.