Overall objectives:

1 - Review of some mathematical concepts that are indispensable in solving some practical problems; - Provide students with new mathematical tools that allow them to understand, mathematize and solve the various problems related to their area of study that will arise in different curricular units throughout the course.

Syllabus:

1 - Introduction to Propositional Logic;
1.1 - Logical Connectives;
1.2 - Logical Implication and Equivalence;
1.3 - Normal shapes.
2 - Real functions of real variable;
2.1 - Study of some real variable functions;
2.2 - Limits, Continuity and Differentiability.

Literature/Sources:

Makinson, D. , 2012 , Sets, Logic and Maths for Computing , Springer
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. , 1998 , Álgebra Linear como Introdução à Matemática Aplicada , Texto Editora
Apostol, T.M. , 1998 , Cálculo , Reverté
Ferreira C. , 1999 , Introdução à Análise Matemática , Fundação Calouste Gulbenkian

Assesssment methods and criteria:

Classification Type: Quantitativa (0-20)

Evaluation Methodology:
In accordance with the expected for the Professional Higher Technical Courses.