Sumários

TP14-aula 4

2 Outubro 2023, 11:00 Maria da Purificação Antunes Coelho


Exercício 5.  Um exercício extra recorrendo a equivalências lógicas conhecidas para deduzir outras.

Exercício 13.

TP15- aula 4

2 Outubro 2023, 08:00 Maria da Purificação Antunes Coelho


 Exercício 5.  Um exercício extra recorrendo a equivalências lógicas conhecidas para deduzir outras.

Início do exercício 13.

TP11_4

29 Setembro 2023, 11:00 Mário Jorge Edmundo


Resolução dos exercícios 3, 12, 13 (a), 14, 10.

TP14-aula3

29 Setembro 2023, 11:00 Maria da Purificação Antunes Coelho


Exercícios 6, 7, 8 e 10.

A noção de consequência lógica. Exercício 4.

AULA 4

28 Setembro 2023, 11:30 Fernando Ferreira


A relação de congruência módulo n como uma relação de equivalência. Considerações em torno da noção de congruência módulo n e da sua aritmética. A tabela de multiplicação módulo 5.