Programul informatic este reprezentarea sau implementarea unui algoritm ntr-un cod surs, scris ntr-un

anumit limbaj de programare. O colecie de programe individuale alctuite pentru ndeplinirea unui scop comun se
numete de obicei software. Programul este un produs finit al activitii de programare informatic. Considerat
formal, un program informatic este un transformator de aseriuni ce descriu propriet ile datelor corecte: att ale
datelor de intrare n sistem, ct i cele ale datelor de ieire din sistem. De obicei programele se creeaz pentru un
anumit tip de calculator sau aparat inteligent. Tot de obicei, o condiie pentru func ionare este i ca pe calculator s
existe un sistem de operare (SO).
Pentru ca un program s fie eficient (de ex. s livreze rezultatele n scurt timp), el trebuie s aib la baz un
algoritm eficient, iar tehnicile de implementare i programare s fie i ele eficiente.
Sarcinile i funciile programelor au crescut i cresc permanent, simultan cu dezvoltarea hardului i a sistemelor de
operare. i totui, pentru rezolvarea unor probleme complexe nu este suficient un singur program. Este nevoie de
mai multe programe, care atunci, mpreun, se numesc aplicaie.