UDESCCiência da Computação: Disciplinas
TEORIA DA COMPUTAÇÃO (TEC0001)
Fase: 5ª, CHT = 36, CHP = 36, CHTT = 72
Ementa:
Histórico e contextualização da Computação. Máquinas de Turing. Formalização do conceito de algoritmo. Problema da Parada. A Tese de Church-Turing. Indecidibilidade. Noções de Redutibilidade. Algoritmo/Máquina de Post. Algoritmo/Máquina de Markov. Máquina de Registradores. Lambda Calculus. Teoria das funções recursivas. Relações entre os modelos de computabilidade e suas equivalências.
Centro de Ciências Tecnológicas - CCT
Rua Paulo Malschitzki, 200 - Campus Universitário Prof. Avelino Marcante - Bairro Zona Industrial Norte - Joinville - SC - Brasil
CEP: 89.219-710 - Fone:(47) 3481-7900
© 2016 - CINF - UDESC/Joinville
Rua Paulo Malschitzki, 200 - Campus Universitário Prof. Avelino Marcante - Bairro Zona Industrial Norte - Joinville - SC - Brasil
CEP: 89.219-710 - Fone:(47) 3481-7900