Sinopse
Nesse livro são abordados os principais aspectos relativos à Teoria da Computação de forma sistematizada e acessível, fornecendo meios para um correto entendimento e aplicação dos conceitos de procedimento efetivo, computabilidade e solucionabilidade de problemas. Trata-se de um trabalho baseado na experiência docente em diversos semestres no Curso de Bacharelado em Ciência da Computação da UFRGS. É destinado, principalmente, para um primeiro curso de Teoria da Computação, sendo auto-contido e podendo ser adotado como bibliografia básica. Possui um texto simples, ilustrado com cerca de 130 figuras, 80 exemplos detalhados e mais de 100 exercícios em níveis crescentes de raciocínio.