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.