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.