o computador é entendido como uma máquina que obedece ordens e o programa como uma prescrição de solução para o problema.

uma expressão é avaliada e seu resultado, em geral, é armazenado em uma célula de memória representada por uma variável.

a ordem de avaliação de suas expressões de mapeamento é controlada por seqüenciação e iteração.

os programas não estabelecem exatamente "como" um resultado deve ser computado, mas, descrevem fatos e regras que podem levar a máquina à dedução desse cálculo.

o computador atua como uma máquina que avalia funções e o programa consiste da definição e composição de funções.