Os fenômenos computacionais foram modelados matematicamente de diferentes maneiras através da história.
Cada modelo possibilita explorar com mais clareza e naturalidade certos aspectos desses fenômenos.
Esses diferentes aspectos, por sua vez, prestam-se melhor à fundamentação de diferentes técnicas e paradigmas de programação.
Existe, portanto, uma ligação lógica entre modelos matemáticos de computação e as diferentes formas, técnicas e métodos de programação.
Neste livro, os autores apresentam essa ligação lógica de forma clara e acessível.
A obra contém uma breve revisão dos modelos mais influentes de computação e mostra como eles servem para fundamentar os paradigmas de programação usados atualmente.