Avaliação - I

11 Novembro 2021, 14:00 • António José Teiga Zilhão

Exercício escrito de avaliação das competências adquiridas no âmbito dos módulos I e II do programa.

II. Teoria dos Conjuntos - 6

8 Novembro 2021, 14:00 • António José Teiga Zilhão

Resolução de exercícios na Teoria dos Conjuntos.

II. Teoria dos Conjuntos - 5

4 Novembro 2021, 14:00 • António José Teiga Zilhão

O conceito de um par ordenado. Representação da noção de ordem no interior da Teoria dos Conjuntos. Definição de par ordenado de Kuratowski. Teorema dos pares ordenados - enunciado e demonstração. Definição de produto cartesiano. Exemplos de produtos cartesianos. Formas de representação gráfica de um produto cartesiano. Quadrados cartesianos. Definição de uma relação na Teoria dos Conjuntos como um subconjunto de um produto cartesiano entre conjuntos. Domínio e contradomínio de uma relação. Propriedades de relações. Relações de equivalência, classes de equivalência e partições. Funções como um tipo particular de relações.

II. Teoria dos Conjuntos - 4

28 Outubro 2021, 14:00 • António José Teiga Zilhão

Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos.  

1. Representação da Teoria Aristotélica do Juízo na Teoria dos Conjuntos: representação da referência dos termos gerais, da referência dos termos singulares, da relação de predicação, dos juízos singulares e dos juízos gerais na Teoria dos Conjuntos. 

2. Representação da Teoria Aristotélica da Inferência na Teoria dos Conjuntos.  

2.1. Representação da doutrina do Quadrado da Oposição no âmbito da Teoria dos Conjuntos.

2.2. Representação e demonstração das regras das teorias da conversão, da obversão e da contraposição na Teoria dos Conjuntos.

2.3. Representação de diferentes modos da silogística aristotélica e demonstração da sua validade no âmbito da Teoria dos Conjuntos.

II. Teoria dos Conjuntos - 3

25 Outubro 2021, 14:00 • António José Teiga Zilhão

Propriedades das operações sobre conjuntos - II.