Sumários

10 Dezembro 2019, 10:30 • André Souto

Resolução de exercícios da folha 9 sobre reduções por mapeamento entre problemas.

10 Dezembro 2019, 09:30 • André Souto

Noção de tempo de execução numa máquina de Turing não determinista.

Complexidade da simulação da máquina não determinista na máquina original.

A classe de complexidade P e a sua importância.

Exemplos de problemas em P.

9 Dezembro 2019, 08:00 • André Souto

Resolução de exercícios da folha 9 sobre reduções por mapeamento entre problemas.

6 Dezembro 2019, 11:30 • Andreia Mordido

Resolução de exercícios sobre linguagens decidíveis e Turing-reconhecíveis.

6 Dezembro 2019, 08:00 • André Souto

Resolução de exercícios da folha 8 sobre decidibilidade de turing-reconhecimento.