INTRODUÇÃO À TEORIA DA COMPUTAÇÃO,

Esta obra procura apresentar a teoria da computação por meio de teoremas e provas, com a preocupação do autor em mostrar a intuição por trás de cada resultado e em amenizar a leitura destas últimas, apresentando, para cada teorema, uma ideia da prova. Com este livro, através da prática de resolução de problemas, o leitor, nos exercícios, poderá revisar definições e conceitos da área e, nos problemas, poderá se deparar com atividades que exigem maior engenhosidade.