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.