Aborda os principais aspectos relativos à teoria da computação de forma sistematizada e acessível, possibilitando o entendimento e a aplicação dos conceitos de procedimento efetivo, computabilidade e solucionabilidade de problemas. O aluno obterá uma formação teórica adequada para entender os princípios que constituem a ciência da computação e, portanto, assimilar as tecnologias atuais bem como as evoluções e mudanças tecnológicas que venham a ocorrer. Obra baseada na experiência docente nos cursos de bacharelado em ciência da computação e engenharia da computação da UFRGS. Destinada, principalmente, a um primeiro curso de teoria da computação, sendo autocontida e podendo ser adotada como bibliografia básica. Texto simples, com cerca de 150 figuras, 100 exemplos detalhados e mais de 160 exercícios em níveis crescentes de raciocínio (cerca de 60 exercícios objetivos). Recomenda-se, como pré-requisitos, conhecimentos básicos de matemática discreta.