Subject: Mathematics
Scientific Area:
Mathematics
Workload:
64 Hours
Number of ECTS:
5 ECTS
Language:
Portuguese
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.