Programul informatic este reprezentarea sau implementarea unui algoritm într-un cod sursă, scris într-un anumit limbaj de programare. Programele și bibliotecile de date de care se folosesc programele sunt numite software.[a] 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.
