Sumários
AULA 29
20 Novembro 2020, 15:00 • Fernando Ferreira
A hierarquia aritmética. Predicados universais para os vários níveis da hierarquia aritmética.
AULA 28
19 Novembro 2020, 11:00 • Fernando Ferreira
Resolução de exercícios e esclarecimento de dúvidas.
AULA 27
17 Novembro 2020, 11:00 • Fernando Ferreira
Enumerabilidade recursiva e suas caracterizações. Se um conjunto e o seu complementar são recursivamente enumeráveis, então o conjunto é recursivo. Um par de conjuntos recursivamente enumeráveis que é recursivamente inseparável.
AULA 26
13 Novembro 2020, 15:00 • Fernando Ferreira
O problema da paragem é indecidível. Enumerabilidade recursiva.
AULA 25
12 Novembro 2020, 11:00 • Fernando Ferreira
Resolução de exercícios e esclarecimento de dúvidas.