Sumários

AT22 Máquina de Turing

28 novembro 2019, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Máquina de Turing. Configuração. Função computável à Turing.


AP22 Redutibilidade

28 novembro 2019, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Preservação da produtividade por redução. Decidibilidade do problema da satisfazibilidade em lógica proposicional. Não decidibilidade do problema
da consequência em lógica proposicional através da redução do problema da paragem a este problema.


AP21 Redutibilidade

26 novembro 2019, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Conjuntos efectivamente não listáveis.


AT21 Redutibilidade m

26 novembro 2019, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Relacionamento entre conjuntos m completos e efectivamente não listáveis. Conjuntos produtivos, Relacionamento entre conjuntos produtivos e efectivamente não listáveis.


AT20 Conjuntod m Completos e Efectivamente Não Listáveis

21 novembro 2019, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Conjuntos m completos. O caso de K^u sendo u função universal própria. Caracterizações de conjunto m completo. Classe de K^u.
Conjunto efectivamente não listável. O caso de K^c. Preservação da listabilidade efectiva por redução.