Sumários

Workshop - 2

24 Outubro 2023, 09:30 António José Teiga Zilhão


Lisbon Workshop on the History of Logic - 2

Demonstração Condicional

23 Outubro 2023, 14:00 Maria Adriana Sequeira da Silva Graça


Método da demonstração condicional.

Exercícios.

Workshop - 1

23 Outubro 2023, 09:30 António José Teiga Zilhão


Lisbon Workshop on the History of Logic - 1

Exercícios

19 Outubro 2023, 12:30 Maria Adriana Sequeira da Silva Graça


Exercícios.

II. Teoria dos Conjuntos - 9

19 Outubro 2023, 09:30 António José Teiga Zilhão


II.10. Relações

II.10.5. Propriedades de relações. 
II.10.5.1. Relações de equivalência, classes de equivalência, representante de uma classe de equivalência, conjunto quociente de um conjunto M por uma relação R e partições.