V informatike sa snažíme formalizovať naše intuície o procesoch ako robiť veci. Je to začiatok presného hovorenia o tom "ako" niečo robiť. Je to protiklad hovorenia o tom "čo" je pravda. Pr. Ak povieme že y=odmocnina(x) je také číslo pre ktoré platí že y*y=x a y>0 nehovorím nič o tom, AKO takú odmocninu nájsť. Ak však povieme, že ak chceme nájsť odmocninu(x) musíme urobiť jej odhad o a vypočítať priemer x/o, ktorý bude naším novým odhadom a robiť to až dovtedy kým odhad nie je dosť dobrý...to je naše poznanie procesu "ako". Proces je súbor (vzor) pravidiel zvaný procedúra.