Descrição:

O objetivo desta unidade curricular é familiarizar os estudantes  com o raciocínio dedutivo e com a linguagem e as construções básicas da teoria de 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 objetivo é 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.