Что такое двоичные данные? Что такое компьютерная программа?

Двоичные данные - данные, представленные в двоичном виде - 0 и 1. Т. е. низкий уровень напряжения и высокий. (выкл/вкл. рубильник, аналогия).

Всё в компьютере (да и в любой электронике) работает в двоичной системе счисления, в том числе и программы.

Вообще же, программа - это алгоритм, т. е. какой-то набор действий, направленный на достижение определённого результата.