FUNDAMENTOS DA TEORIA DA COMPUTAÇÃO
Ementa
Estudo dos fundamentos matemáticos da computação. Funções recursivas. Enumerabilidade. Sistemas de produção de Post. Modelos abstratos de máquinas programáveis.
Código da disciplina: DCC129-DIG
Nome da atividade: FUNDAMENTOS DA TEORIA DA COMPUTAÇÃO
Período letivo: 4
Tipo da atividade: obrigatória
Créditos: 4
Carga horária (horas):
| Teórica | Prática | Total |
|---|---|---|
| 60 | 0 | 60 |
Última oferta: 2012/2