Autor:

• Marcus Vinicius Midena Ramos

Editora Blucher
2025
ISBN 978-85-212-2524-9
480 páginas

Material de apoio:

• Slides do capítulo 1 - Programas, máquinas e equivalências
• Slides do capítulo 2 - Máquinas universais
• Slides do capítulo 3 - Decidibilidade
• Slides do capítulo 4 - Complexidade
• Slides do capítulo 5 - Cálculo lambda

Revisões:

• Errata
• Material adicional

Para adquirir: Amazon ou Editora Blucher.

Dúvidas, críticas, erros ou sugestões? Envie um email para marcus (dot) ramos (at) univasf (dot) edu (dot) br