Sumários

Princípio de indução finita

1 outubro 2010, 14:30 Manuel Paulo de Oliveira Ricou

Aplicação do axioma do supremo: a existência de raízes quadradas. Irracionalidade da raiz quadrada de 2.

Os números naturais, conjuntos indutivos, a definição de N, o princípio de indução finita.

Exemplos de aplicação.


TPC inicial

1 outubro 2010, 13:00 João Paulo Neves Monteiro dos Santos

Logica e módulos


O axioma do supremo

29 setembro 2010, 15:30 Manuel Paulo de Oliveira Ricou

Máximo, mínimo, majorante, minorante, supremo, ínfimo.

Propriedades elementares, caracterização.

Os majorantes de um conjunto não-vazio, e o axioma do supremo.

 


O axioma do supremo

29 setembro 2010, 14:30 Manuel Paulo de Oliveira Ricou

Máximo, mínimo, majorante, minorante, supremo, ínfimo.

Propriedades elementares, caracterização.

Os majorantes de um conjunto não-vazio, e o axioma do supremo.

 


Aula prática 1

29 setembro 2010, 13:00 Sofia Marta Lima Naique

Apresentação. Exercícios de "TPC Inicial": 2b), 3 c), 4 a), b), c), 8 c)  Interpretação de proposições envolvendo quantificadores, negação deste tipo de afirmação, a implicação, negação da implicação, módulo de um número real.