Sinopse: Esta obra apresenta a teoria da computação por meio de teoremas e provas, sempre 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, os alunos, nos exercícios, revisarão definições e conceitos da área e, nos problemas, irão se deparar com atividades que exigem maior engenhosidade. Os três últimos capítulos são novos, e esta 2ª edição incorpora as sugestões de professores e alunos enviadas ao autor ao longo dos anos. Contém material para mais de um semestre de curso, propiciando flexibilidade para escolha de tópicos a serem mais ou menos explorados.
Capa comum: 488 páginas Editora: Cengage Learning; Edição: 1ª (31 de dezembro de 2005) Idioma: Português ISBN-10: 8522104999 ISBN-13: 978-8522104994 Dimensões do produto: 22,8 x 16 x 2,8 cm Peso de envio: 640 g
Biografia: Michael Fredric Sipser é um professor de Matemática Aplicada no grupo de teoria da computação do Massachusetts Institute of Technology. Obteve um Ph.D. em 1980 pela Andrew Sutherland, orientado por Manuel Blum. Sua área de pesquisa é teoria da complexidade, mas ele também é ativo em outras áreas. Junto com Farhi, Goldstone e Gutmann, apresentou a computação quântica adiabática.
