Sumários

Decidibilidade do Problema da Satisfazilidade da Lógica Modal K

17 Dezembro 2019, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Redução entre o problema da satisfação contextual da lógica modal K para o problema da satisfação contextual de FO^2 (conclusão).


AT27 Decidibilida do Problema da Satisfazibilidade Local da Lógica Modal K

17 Dezembro 2019, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Redução entre o problema da satisfação contextual da lógica modal K para o problema da satisfação contextual de FO^2 (continuação).


AP26 Decidibilidade do Problema da Satisfação Contextual da Lógica Modal K

12 Dezembro 2019, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Fragmento FO^2 da lógica de primeira ordem para a qual o problema da satisfação contextual é decidível.

Proposta de aplicação de redução entre o problema da satisfação contextual da lógica modal K para o problema da satisfação contextual de FO^2.
Definição da aplicação que para cada estrutura de Kripke pontual devolve uma estrutura de interpretação pontual de FO^2..


AT26 Complexidade de Kolmogorov

12 Dezembro 2019, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Complexidade de Komlmorov para a composição quando as funções componentes não são computáveis fece ao mesmo
conjunto de oráculos. Conjuntos listáveis e decidíveis face a conjunto finito de oráculos. Complexidade de Kolmogorov de conjuntos listàveis
e decidíveis face a um conjunto finito de oráculos. Propriedades principais.


AP25 Complexidade de Kolmogorov

10 Dezembro 2019, 11:00 Maria Cristina De Sales Viana Serôdio Sernadas

Dos requisitos à complexidade de Kolmogorov. Complexidade de Kolmogorov para a composição.
Existência de vírus para qualquer função universal própria.