FenixEdu
Login
Demonstrações, Computabilidade, Complexidade
1 Semestre 2025/2026
pt
en
Bibliografia
Principal
Arora and Barak
(2006)
Computational Complexity: A modern approach
Martin Davis
(1985)
Computability and Unsolvability
Secundária
Não foi definida bibliografia secundária
Página Inicial
Avaliação
Bibliografia
Horário
Metodologia de Avaliação
Objectivos
Planeamento
Programa
Turnos
Anúncios
Sumários
Metodologias de ensino e de aprendizagem
Demonstração da coerência das metodologias com os objectivos
Demonstração da coerência do programa com os objectivos