O estudo da Teoria da Computação permite, entre outras coisas, a percepção da uma área com muitas possibilidades, mas também com muitas limitações. Conhecer essas limitações é importante para a formação de profissionais que, em suas vidas, muitas vezes, irão se deparar com problemas intratáveis ou mesmo insolúveis. De forma introdutória, este livro apresenta os tópicos mais importantes da Teoria da Computação, Programas, máquinas e equivalências, Máquinas universais, Decidibilidade, Complexidade no tempo e Cálculo Lambda não tipado, que podem ser estudados de forma relativamente independente uns dos outros. Além disso, o livro traz um conjunto de 230exercícios com as suas respectivas soluções, para ajudar na fixação do conteúdo.
#Autor: Marcus Vinicius Midena Ramos
#Páginas: 480
#Encadernação: Brochura
#Ano: 2025