Prática #10

11 maio 2020, 18:36 • Carlos Caleiro

Os exercícios para a aula prática 10, sobre classes de complexidade, propriedades de fecho e redução polinomial são: capítulo 4, exercícios 2.1(c), 3.1(d), 3.5(c), 3.7(a,b).

Teórica #19

6 maio 2020, 18:22 • Carlos Caleiro

Complexidade e não-determinismo (vídeo)

Análise da complexidade de máquinas não-deterministas (vídeo)

Teorema de Savitch (vídeo)

estes conteúdos estarão disponíveis até 5a-feira, 14 de Maio

Teórica #18

5 maio 2020, 17:57 • Carlos Caleiro

Análise da complexidade de variantes da noção de máquina de Turing

Máquinas com transições-S

Máquinas com memória bidireccional

Máquinas multifita

estes conteúdos estiveram disponíveis até 2a-feira, 11 de Maio

Novos links

5 maio 2020, 15:55 • Carlos Caleiro

Pedimos a vossa atenção para os novos links (alguns dos antigos expiraram) para as sessões de vídeo-conferência via zoom, no separador Ensino à distância.

Projecto

4 maio 2020, 16:33 • Carlos Caleiro