Sumários

Dúvidas

20 Dezembro 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Sessão de dúvidas sobre as aulas teóricas.

Dúvidas

20 Dezembro 2018, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Sessão de dúvidas sobre as aulas práticas.

AP25 Decidibidade noutras áreas da Matemática (

18 Dezembro 2018, 11:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Decidibilidade do problema da satisfação em lógica proposicional. Problema da coloração em grafos finitos. Demonstração da sua decidibilidade
por redução ao problema da satisfação em lógica proposicional.

AT26 Decidibidade noutras áreas da Matemática

18 Dezembro 2018, 09:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Decidibidade do problema da satisfação para a  lógica modal K por redução ao problema da satisfação em lógica de primeira ordem com assinatura
sem símbolos de função, com símbolos de predicado de aridades um e dois e com duas variáveis.

AT25 Complexidade de Kolmogorov

13 Dezembro 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Complexidade da composição de funções com e sem o mesmo conjunto finito de oráculos.