Sumários

TP 12 aula 6

6 Outubro 2022, 10:00 • Maria da Purificação Antunes Coelho

Discussão de algumas alíneas dos exercícios 35 e 36.

TP12 aula 5

4 Outubro 2022, 10:30 • Maria da Purificação Antunes Coelho

Exercícios 20 e 16.

AULA 5

4 Outubro 2022, 09:30 • Fernando Ferreira

Divisão com resto. O anel de congruências Z/nZ tem exatamente n elementos: as classes do 0, 1, 2, ..., n-1.

Demonstração (por redução ao absurdo) de que a raiz quadrada de 2 não é um número racional.
Cuidados a ter com a resolução de equações. É preciso distinguir entre (meramente) concluir algo de algo e concluir que esses algos são equivalentes. No último caso, é necessário (também) argumentar a direção contrária.
Enunciado da lei do anulamento do produto nos números reais. Considerações à volta desta lei.

T 12 aula 5

4 Outubro 2022, 09:30 • Maria da Purificação Antunes Coelho

Apresentação (sem demonstração) do teorema da divisão inteira com resto. Demonstração de que, dado um inteiro positivo n, cada inteiro a é congruente módulo n com o resto da divisão inteira de a por n.

Representação simbólica e valor lógico de asserções da forma "Para todo o x, P(x)" e de asserções da forma "Existe x tal que P(x)" - alguns exemplos.

TP 15 aula 6

4 Outubro 2022, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 15, 17 e 32. Algumas considerações sobre os números racionais. Exercícios 23 e 24.