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 (262) Nathan J. Colebrook (30) Diego Rodrigues (27) Joy Creative Publishing (21) Aravind Choudhary (15) Bruce Password Books (15) StudioD21 Smart Tech Content (14) Asha Sohal (11) Raul Valento (11) Eleanor Sloane (10) Jideon F Marques (10) Liora Byteforge (10) Zane Vertex (10) On Line Editora (9) Perry Hoover (9) Aethon A a Wales (8) Mohammad Saqib (8) Nathan Westwood (8) Nova Sinclair (8) Raphael Fox (8)