Sumários
AT20 Redutibilidade m
21 novembro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjuntos de índices equivalentes m. Supremos de conjuntos decidíveis e de conjuntos listáveis. Demonstração do Teorema de Rice à custa do Teorema da Recursão.
AP19 Redutibilidade m
19 novembro 2019, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Redução de K^c ao conjunto de índices de função com domínio infinito. Semireticulado superior dos graus.
AT20 Redutibilidade m
19 novembro 2019, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Propriedades da redutibilidade m. Graus. Grau decidível e grau listável. Conjunto dos graus decidíveis. .
AT18 Teorema da Recursão paramétrica e Redução m
14 novembro 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
AP18 Teoremas de Rogers e da Recursão
14 novembro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Caracterização de conjunto universal próprio. Aplicações do Teorema da Recursão.