Sumários
Resolução de exercícios sobre decidibilidade
6 Dezembro 2019, 08:00 • Andreia Mordido
Resolução de exercícios sobre linguagens decidíveis e Turing-reconhecíveis.
Complexidade
4 Dezembro 2019, 09:30 • André Souto
Noção de algoritmo eficiente.
Resolução de exercícios sobre decidibilidade
4 Dezembro 2019, 08:00 • André Souto
Resolução de exercícios da folha 8 sobre decidibilidade de turing-reconhecimento.
Resolução de exercícios sobre decidibilidade
3 Dezembro 2019, 11:00 • Andreia Mordido
Resolução de exercícios sobre linguagens decidíveis e Turing-reconhecíveis.
Resolução de exercícios sobre decidibilidade
3 Dezembro 2019, 10:30 • André Souto
Resolução de exercícios da folha 8 sobre decidibilidade de turing-reconhecimento.