Sumários
AP21 Redutibilidade m
28 novembro 2017, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre conjuntos m-completos e efectivamente não listáveis.
AT21 Redutibilidade m
28 novembro 2017, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Graus. Ordem parcial de graus. Graus decidíveis e listáveis. Identificação dos graus decidíveis. Elementos minimais de D_m e maximal de D_m^\cL. Semireticulado superior de graus.
Exercícios sobre teorema da recursão.
23 novembro 2017, 14:30 • João Rasga
Resolução de exercícios sobre: teorema da recursão.
AT20 Redutibilidade m
23 novembro 2017, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conjunto efectivamente não listável. Relação de redutibilidade fechada superiormente para não listabilidade efectiva. Relacionamentos entre conjunto m-completo e conjunto efectivamente não listável.
AP19 Redutibilidade m
21 novembro 2017, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre máquinas de Turing e redutibildade m.