| COMPONENTE CURRICULAR |
| Componente Curricular | ||||
|---|---|---|---|---|
| MATA51 - TEORIA DA COMPUTAÇÃO | ||||
| Carga Horária - Total: 68 horas | ||||
| Teórica | Prática | Estágio | Departamento | Semestre Vigente |
| 34 | 34 | 0 | Ciência da Computação | 2007.2 |
| Ementa | ||||
| Modelos e Computação: máquinas de Turing, funções recursivas, - Cálculus, Tese de Church, Linguagens inumeráveis, recursivamente enumeráveis e recursivas. Decibilidade. Redução. Problemas indecidíveis. Incompletude da aritmética. | ||||
| Programa | ||||
| Objetivo | ||||
| Não há Objetivo cadastrado | ||||
| Conteúdo | ||||
| Não há Conteúdo cadastrado | ||||
| Bibliografia | ||||
| Não há Bibliografia cadastrada | ||||
| Lista de Turmas - Semestre 20241 | |||||
|---|---|---|---|---|---|
| Dia | Horário | Turma | Docente | Vinculação | Título |
| QUI | 14:50 às 16:40 | P01 | Islame Felipe da Costa Fernandes | REGIME JURIDICO UNICO | Doutorado |
| TER | 14:50 às 16:40 | T01 | Islame Felipe da Costa Fernandes | REGIME JURIDICO UNICO | Doutorado |