Sumários

TP

27 Setembro 2016, 13:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha

Resolução de exercícios (folha 1) 1, 4, 5, 6, 8, 9, 10, 13 a)

2

22 Setembro 2016, 16:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha

Relações e equivalência e partições de um conjunto.
Os números N, N₀, Z, Q, R e C. Construção de Q.
Relações de ordem parcial, ordens totais e boas ordens. Exemplos. N com ordem natural como "menor" conjunto sem máximo. Resultados correspondentes para Z, Q e R. Ordem lexicografica em C.
Algoritmo de Euclides em N₀, demonstração.

Aula 0

22 Setembro 2016, 13:30 • Isabel Maria André Ferreirim

Não houve aula por indicação da regente da disciplina.

1

22 Setembro 2016, 13:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha

Não houve aula pois ainda não tinha matéria teórica dada.

1

20 Setembro 2016, 15:30 • Gracinda Maria dos Santos Gomes Moreira da Cunha

Apresentação. Programa.
Bibliografia. Regras de avaliação.