数学公式可以用于表达算法逻辑，但并不是程序中必须包含的元素。程序主要由算法、变量和控制结构组成。