Sumários

T_5

24 Setembro 2025, 13:30 Mário Jorge Edmundo

Definição dos números inteiros, adição e multiplicação, propriedades.  Esclarecimento de dúvidas sobre os exercícios.


TP11_2

19 Setembro 2025, 12:30 Mário Jorge Edmundo

Discussão e resolução de exercícios.


T_4

19 Setembro 2025, 11:00 Mário Jorge Edmundo

Definição da adição e da multiplicação nos números naturais, propriedades, lei do corte para a adição; definição de ordem, propriedades, não há divisores de zero, lei do corte para a multiplicação, ordem é compatível com a adição e com a multiplicação; princípio do mínimo.  Esclarecimento de dúvidas sobre os exercícios.


T_3

17 Setembro 2025, 13:30 Mário Jorge Edmundo

Axioma do infinito; conjunto indutivo omega, os números naturais, omega é estrutura de Peano-Dedekind; teorema da recursão. Esclarecimento de dúvidas sobre os exercícios.


TP11_1

12 Setembro 2025, 12:30 Mário Jorge Edmundo

Não houve aula.