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.