Program komputerowy (
ang. computer program) - sekwencja
symboli opisująca
obliczenia zgodnie z pewnymi regułami zwanymi
językiem programowania. Program jest zazwyczaj wykonywany przez
komputer (np. wyświetlenie strony internetowej), czasami bezpośrednio – jeśli wyrażony jest w języku zrozumiałym dla danej maszyny lub pośrednio – gdy jest interpretowany przez inny program (
interpreter). Program może być ciągiem
instrukcji opisujących modyfikacje stanu maszyny ale może również opisywać obliczenia w inny sposób (np.
rachunek lambda).