Local e hora das aulas: Terças e quintas, 17:00-18:40, na sala 313 do CAD 3.
Informações gerais sobre o curso: Tópicos, bibliografia, e métodos de avaliação (“syllabus”): [pdf]
Calendário de atividades: Aulas, entregas de exercícios e realização de provas (atualizado em 2025-03-10): [pdf]
| Conteúdo | Slides de aula | Listas de exercícios |
|---|---|---|
| 0.0 - Introdução | [pdf] | [—] |
| 0.1 - Terminologia, Técnicas de Demonstração, Enumerabilidade | [pdf] | [pdf] |
| 0.2 - Linguagens Formais e Problemas de Decisão | [pdf] | [pdf] |
| 1.1 - Autômatos Finitos e Não-determinismo | [pdf] | [pdf] |
| 1.2 - Expressões Regulares | [—] | [—] |
| 1.3 - Linguagens Não-regulares | [—] | [—] |
| 2 - Linguagens Livres-do-Contexto | [—] | [—] |
| 3 - A Tese de Church-Turing e Máquinas de Turing | [—] | [—] |
| 4 - Decidibilidade | [—] | [—] |
| 5 - Redutibilidade | [—] | [—] |
Playlist do YouTube, gravada durante a pandemia em 2021/2.