Nota da edição Prefácio Apresentação 1. Programas, máquinas e equivalências 2. Máquinas universais 3. Decidibilidade 5. Cálculo Lambda não tipado Referências Glossário Apêndice A – Soluções dos exercícios Apêndice B – Alfabeto grego Índice remissivo
Capa_RAMOS_V03.indd Todas as páginas
De forma introdutória, este livro apresenta os tópicos mais importantes da Teoria da Computação, como 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 230 exercícios com as suas respectivas soluções, para ajudar na fixação do conteúdo.
TEORIA DA COMPUTAÇÃO
4. Complexidade no tempo
O estudo da Teoria da Computação permite, entre outras coisas, a percepção da computação como 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.
RAMOS
SUMÁRIO
MARCUS VINICIUS MIDENA RAMOS
TEORIA DA COMPUTAÇÃO
MARCUS VINICIUS MIDENA RAMOS Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE, 2016), mestre em Sistemas Digitais pela Escola Politécnica da Universidade de São Paulo (EPUSP, 1991) e graduado em Engenharia Elétrica (EPUSP, 1982). Professor associado do curso de Engenharia de Computação da Universidade Federal do Vale do São Francisco (UNIVASF), em Juazeiro (BA), desde 2008. É autor do livro Linguagens formais: exercícios e soluções (Novatec, 2021) e coautor, junto com os professores João José Neto e Italo Santiago Vega, do livro Linguagens formais: teoria e conceitos (Blucher, 2023), vencedor do Prêmio Jabuti em 2024.
01/08/2025 13:27