Local e hora das aulas: Segundas e quartas, 14:55-16:35, em sala a ser definida.
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-Ago-04): [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 | [pdf] | [pdf] |
| 1.3 - Linguagens Não-regulares | [pdf] | [pdf] |
| 2 - Linguagens Livres-do-Contexto | [pdf] | [pdf] |
| 3 - A Tese de Church-Turing e Máquinas de Turing | [pdf] | [pdf] |
| 4 - Decidibilidade | [—] | [—] |
| 5 - Redutibilidade | [—] | [—] |
Playlist do YouTube, gravada durante a pandemia em 2021/2.