A maioria esmagadora das pessoas toma conhecimento da computação através de suas técnicas e tecnologias, raramente tem acesso à, ou mesmo compreendem a, ciência que está envolvida. Muito daquilo que se conhece hoje como computação moderna se baseia nas ideias, conceitos e modelos que aqui são apresentados.

Esta obra destina-se ao estudo de nível universitário, com parte dos capítulos voltados à graduação, e os demais, à pós-graduação. Primeiro estuda-se o conceito de computação e algoritmos. Em seguida são abordados os paradigmas relacionados com funções primitivas recursivas, linguagens minimais, maquinas de registros, algoritmos com rótulos, propriedades dos algoritmos, inferências por lógica simbólica, sistemas formais, gramáticas, autômatos e por fim, máquinas de Turing.

O livro trata com cuidado e critério rigoroso a apresentação de teoremas e lemas os quais, via de regra, estão acompanhados de suas respectivas demonstrações, didaticamente experimentadas em sala de aula. A técnica de ensino compreende uma apresentação formal de conceitos e modelos de computação, acompanhada de 193 exemplos que auxiliam o leitor a sedimentar o entendimento. O material também é ricamente complementado com 231 exercícios que auxiliam na revisão e amadurecimento do conhecimento discente.