COMPONENTE CURRICULAR

Componente Curricular
MATE76 - TEORIA DA COMPUTAÇÃO
Carga Horária - Total: 51 horas
Teórica	Prática	Estágio	Departamento	Semestre Vigente
51	0	0	Ciência da Computação	2014.1
Ementa
Modelos e Computação: máquinas de Turing, funções recursivas, 1- Cálculus. Tese de Church. Linguagens enumeráveis, recursivamente enumeráveis e recursivas. Decibilidade. Redução. Problemas indecidíveis. Incompletude da aritmética. Introdução à Teoria da Complexidade.
Programa
Objetivo
Não há Objetivo cadastrado
Conteúdo
Não há Conteúdo cadastrado
Bibliografia
AARONSON, S. Quantum Computing since Democritus. Cambridge University Press, 2013. /////// DIVERIO, Tiaraju, A.; MENEZES, Paulo.; BLAUTH, F. Teoria da Computação - Máquinas Universais e Computabilidade. Porto Alegre: Sagra-Luzzatto, 1999. /////// HOPCROFT, John E. ULLMAN, Jeffrey D.;MOTWANI, Rajeev. Introdução à teoria de autômatos, linguagens e computação. Campus, 2002.

Lista de Turmas
Náo há oferta de turmas para o semestre.