Ementa:
Famílias de algoritmos: universalidade, teorema SMN, teorema da recursão. Modelos computacionais. Funções recursivas: funções primitivas recursivas, funções recursivas. Computabilidade e decidibilidade: relativização, redução. Complexidade abstrata: "sdepped-up", "gap", teorema da compressão.
Ano de Catálogo: 2025
Créditos: 4
Idioma de oferecimento: Português
Horários/Salas:
Docentes:
Reservas:
| Hora | Segunda | Terça | Quarta | Quinta | Sexta | Sábado |
|---|---|---|---|---|---|---|
| 07:00 | ||||||
| 08:00 | ||||||
| 09:00 | ||||||
| 10:00 | ||||||
| 11:00 | ||||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | A - CC53 | A - CC53 | ||||
| 15:00 | A - CC53 | A - CC53 | ||||
| 16:00 | ||||||
| 17:00 | ||||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |