Teoria da Computação
Programa Analítico
Total de Horas
60 horas
Carga Horária
4(4+0)
Semestre de Oferecimento
Ementa
Lógica de proposições. Lógica de predicados. Máquinas de estado finito. Máquinas universais. Funções recursivas. Computabilidade.
Pré-Requisito (Pré ou Co-Requisito)*
MAT 131
