Com esta UC pretende-se que, no final, o aluno seja capaz de: 

• aplicar as linguagens formais na construção de modelos de interpretação da realidade
• utilizar raciocínios dedutivos e indutivos na compreensão de conceitos matemáticos
• fundamentar conjeturas, raciocínios e conclusões em critérios de validade e consistência.