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.