INTRODUÇÃO À
TEORIA DA
MICHAEL SIPSER
MICHAEL SIPSER
Outras Obras
TRADUÇÃO DA
COMPUTAÇÃO
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 dos resultados e em amenizar a leitura destas últimas, apresentando, para cada teorema, uma “idéia 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.
Aplicações Livro-texto para as disciplinas teoria da computação, fundamentos da computação e linguagens formais e autômatos nos cursos de Ciência da Computação, Engenharia da Computação e Matemática Computacional.
Para suas soluções de curso e aprendizado, visite www.cengage.com.br
INTRODUÇÃO À TEORIA DA COMPUTAÇÃO
TRADUÇÃO DA
Inteligência Computacional Aplicada à Administração, Economia e Engenharia em ® Matlab Hime Aguiar e Oliveira Junior (coord.), André Machado Caldeira, Maria Augusta Soares Machado, Reinaldo Castro Souza e Ricardo Tanscheit Introdução à Ciência da Computação a 2 edição atualizada Ricardo Daniel Fedeli, Enrico Giulio Franco Polloni e Fernando Eduardo Peres
MICHAEL SIPSER Introdução aos Fundamentos da Computação Newton José Vieira
INTRODUÇÃO À
TEORIA DA COMPUTAÇÃO
Lógica para Computação Flávio Soares Corrêa da Silva, Marcelo Finger e Ana Cristina Vieira de Melo Modelos Clássicos de Computação Flávio Soares Corrêa da Silva e Ana Cristina Vieira de Melo