Sumários
Prática 9
2 maio 2008, 14:30 • Filipe Moura
Bases de Grobner, algoritmo de Buchberger e equivalência de fórmulas proposicionais.
Teórica #17
2 maio 2008, 10:30 • Carlos Caleiro
Cálculo eficiente da transformada de Fourier discreta e sua inversa, exemplos de aplicação.
Teórica 17
2 maio 2008, 09:30 • Filipe Moura
Transformada de Fourier Discreta: interpolação nas raízes da unidade.
Teórica #16
30 abril 2008, 10:30 • Carlos Caleiro
Transformada de Fourier discreta: motivação, computação quântica e algoritmo de Shor. Multiplicação de polinómios, valores de polinómios e interpolação. Raízes da unidade e suas propriedades.
Teórica 16
30 abril 2008, 09:30 • Filipe Moura
Transformada de Fourier Discreta: motivação. Representação de polinómios. Raízes da unidade.