Sumários

AT26 Probelmas de Decisão em Matemática (aula online)

17 Dezembro 2020, 14:30 Maria Cristina De Sales Viana Serôdio Sernadas

Problema da satisfazibilidade da Lógica Modal K.


AT23 Problemas de Decisão em Matemática (aula online)

17 Dezembro 2020, 11:30 Maria Cristina De Sales Viana Serôdio Sernadas

Problema da coloração de grafos finitos. Problema da consequência semântica em Lógica Proposicional.


AP22 Complexidade de Kolmogorov (aula online)

16 Dezembro 2020, 14:00 Maria Cristina De Sales Viana Serôdio Sernadas

Complexidade de Kolmogorov da composição de funções com conjunto de oráculos diferente. Complexidade de Kolmogorov de conjuntos listáveis relativamente a um conjunto de oráculos. Problema da satisfazibilidade em Lógica Proposicional.


AT25 Complexidade de Kolmogorov (aula online)

15 Dezembro 2020, 09:30 Maria Cristina De Sales Viana Serôdio Sernadas

Requisitos (conclusão). Complexidade de Komogorov da composição de funções.


AT21 Máquina de Turing (aula online)

14 Dezembro 2020, 10:30 Maria Cristina De Sales Viana Serôdio Sernadas

Redutibilidade à Turing. Graus. Comparação com a redutibilidade m.