Livros didáticos | Teoria da Computação

Tiaraju Asmuz Diverio
Paulo Fernando Blauth Menezes

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. O enfoque adotado neste livro não é histórico (cronológico) mas didático, visando a construção dos conceitos de Teoria da Computação.

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. Recomenda-se, como pré-requisitos, conhecimentos básicos de lógica, teoria dos conjuntos e algoritmos. A carga horária total recomendada é de 60 horas/aula.