Program execution is the process by which a computer carries out the instructions of a program, transitioning from a static code to dynamic actions. It involves the interaction between the CPU, memory, and input/output systems to perform tasks as specified by the program's code.