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

Não existência de relação de equivalência que tenha simultaneamente as propriedades \forallCMP e \exists NFP.
Consequências para \sim^u. Teorema da recursão paramétrica. Redução m e algumas das suas propriedades,


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.