Programul informatic este reprezentarea sau implementarea unui algoritm într-un cod sursă, scris într-un anumit limbaj de programare. O colecție de programe individuale alcătuite pentru îndeplinirea unui scop comun se numește de obicei software. Programul este un produs finit al activității de programare informatică. Considerat formal, un program informatic este un transformator de aserțiuni ce descriu proprietățile datelor corecte: atât ale datelor de intrare în sistem, cât și cele ale datelor de ieșire din sistem. De obicei programele se creează pentru un anumit tip de calculator sau aparat „inteligent”. Tot de obicei, o condiție 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 funcțiile programelor au crescut și cresc permanent, simultan cu dezvoltarea hardului și a sistemelor de operare. Și totuși, pentru rezolvarea unor probleme complexe nu este suficient un singur program.
