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.
Autores populares
Publishing lmgdaw (250) Nathan J. Colebrook (33) Diego Rodrigues (26) Aravind Choudhary (21) Joy Creative Publishing (21) Vários Autores (19) Zane Vertex (18) On Line Editora (16) StudioD21 Smart Tech Content (16) Bruce Password Books (12) Jideon F Marques (12) Thom Haagenrud (12) Leandro Calado (11) Corin Halstead (10) Denvey Easton (10) S.L SAM TECH (10) Tiye Baldwin-Anderson (10) Alvero Velmora (9) Asha Sohal (9) Jean Arouche (9)