Overall objectives:

• Revisão de alguns conceitos matemáticos que são indispensáveis na resolução de alguns problemas práticos
• Munir os alunos de novas ferramentas matemáticas que lhes permitam compreender, matematizar e resolver os diversos problemas ligados à sua área de estudo que irão surgir em diversas unidades curriculares ao longo do curso

Syllabus:

• Lógica Proposicional.
• Funções reais de variável real.

Literature/Sources:

Makinson, D; Sets,  Logic and Maths for Computing; Springer; 2012

J. Campos Ferreira (2001). Elementos de Lógica Matemática e Teoria dos Conjuntos. Dep. de Matemática, Instituto Superior Técnico Magalhães, L.T., Álgebra Linear como Introdução à Matemática Aplicada, Texto Editora, Portugal, 1998.

Apostol, T.M., Cálculo, Reverté, 1998.

Ferreira C., Introdução à Análise Matemática, Fundação Calouste Gulbenkian, 1999.

 

Assesssment methods and criteria:

• Duas frequências, cada uma com um peso de 50% na classificação final: a primeira frequência sobre lógica proposicional, e a segunda frequência sobre funções e resolução de problemas.