Método de demonstração por redução ao absurdo.
O conjunto das partes (subconjuntos) de um conjunto.
A imagem recíproca de um conjunto por uma função. Exemplos vários.
O método de indução matemática: analogia com cadeia de dominós.
Exemplos:

• n! > 2^n, para todo n>3;
• Para todo o número natural n, 1/sqrt(1) + 1/sqrt(2) + ... + 1/sqrt(n) > sqrt(n).

Quinta 16/10:

Mais algumas observações sobre o método de indução.
Os números perfeitos: definição e resultados básicos: a soma dos divisores de um número à custa da factorização em números primos. Demonstração da proposição: se a e b são primos entre si (i.e. não têm nenhum factor comum maior que 1), então a soma dos divisores de ab é o produto da soma dos divisores de a pela soma dos divisores de b.