Ciência da Computação: Disciplinas

Teoria da Computação (TEC)


Fase: 4ª, CHT = 30, CHP = 30, CHTT = 60

Ementa:

Funções recursivas; Máquinas de Turing; Tese de Church; Gödel e a incompletude; (Lambda) Cálculo; Domínios; Continuidade. Relações entre os modelos de computabilidade.

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