Descrição:

Os objetivos desta unidade curricular são: (i) familiarizar os estudantes  com a linguagem e as construções básicas da lógica e da teoria de conjuntos; (ii)  familiarizar os estudantes com o raciocínio dedutivo, ensinar os estudantes a perceber a estratégia de uma demonstração e  a fazer algumas demonstrações; (iii) ensinar os estudantes a utilizar os conceitos matemáticos de uma forma autónoma no desenvolvimento de qualquer tópico concreto da matemática.