Planeamento

Aulas Teóricas

Métodos de prova

Indução matemática. Princípio do pombal.

Equações diofantinas

Máximo divisor comum. Resolução de equações diofantinas.

Pequeno Teorema de Fermat.

Resolução de congruências. Pequeno teorema de Fermat.

Teorema chinês dos restos

Teorema chinês dos restos.

Criptografia

Criptografia. Algoritmo RSA.

Somatórios

Somatórios envolvendo polinómios. Somatórios envolvendo frações racionais.

Somatórios

Somatórios envolvendo a combinação de potências e exponenciais. Fórmula de Abel.

Funções geradoras

Funções geradoras e sua aplicação ao cálculo combinatório.

Funções geradoras

Aplicação das funções geradoras à resolução de equações às diferenças finitas.

Grafos

Grafos. Grafos eulerianos e atravessáveis. Labirintos. Grafos hamiltonianos.

Grafos

Grafos planares. Teorema de Kuratowski.

Coloração de grafos

Teorema das cinco cores. Teorema das quatro cores.