Sumários

Teórica #10

5 abril 2022, 16:00 • Carlos Caleiro

Complexidade computacional: computação com recursos limitados, panorâmica, relevância e problemas em aberto. Eficiência de máquinas de Turing, no espaço e no tempo. Notação assintótica. Exemplos. As classes de complexidade TIME(f(n)) e SPACE(f(n)), P, PSPACE, EXPTIME e EXPSPACE. Inclusões básicas entre classes de complexidade: relações entre espaço e tempo. 

Prática 8

5 abril 2022, 14:00 • Eduardo Skapinakis

Exercícios 4.2 a,b,c; 4.3 a,b; 5.1 c; 5.2 c.

Avaliação MAP.

Teórica #10

5 abril 2022, 14:00 • Carlos Caleiro

Complexidade computacional: computação com recursos limitados, panorâmica, relevância e problemas em aberto. Eficiência de máquinas de Turing, no espaço e no tempo. Notação assintótica. Exemplos. As classes de complexidade TIME(f(n)) e SPACE(f(n)), P, PSPACE, EXPTIME e EXPSPACE. Inclusões básicas entre classes de complexidade: relações entre espaço e tempo. 

Aula Prática 8

5 abril 2022, 13:00 • Maria Paula Antunes Abrantes Gouveia

Resolução dos exercícios  4.3 a) b),  5.1a) e 5.2 c) g)  do capítulo 4 do texto de apoio. Realização do MAP3.

Oitava aula prática

5 abril 2022, 13:00 • Francisco Miguel Alves Campos de Sousa Dionísio

Exercícios do capítulo 4 sobre indecidibilidade: 4.2 a,b,c; 4.3 a,b; 5.1 c; 5.2 c. Avaliação MAP.