Overall objectives:

- Review of some mathematical concepts that are indispensable in some practical problem solving ;
- Tool up the students with Math tools that will enable them to understand , mathematize and solve various problems related to their area of study that will emerge along the course.

Syllabus:

Proposicional Logic.

Real functions of real variable.

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:

Two tests, each with a weight of 50% on evaluation.

The first test about proposicional logic, in the middle of the semester.

The second test about function and  problem solving, at the end of the semester.