Descrição:

O objectivo desta disciplina é familiarizar os alunos com o raciocínio dedutivo e com a linguagem e as construções básicas da teoria dos conjuntos. Não se trata de uma disciplina em que se desenvolva algum tópico concreto da matemática, mas sim de uma disciplina cujo objectivo é ensinar os instrumentos que se usam no desenvolvimento de qualquer tópico concreto da matemática. Os alunos deverão ficar aptos a perceber a  estratégia de uma demonstração, a fazer algumas demonstrações e a utilizar os conceitos de uma forma autónoma em qualquer contexto matemático.