Objetivos Gerais:

1 - 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.

Conteúdos / Programa:

1 - Introdução à Lógica Proposicional;
1.1 - Conectivos Lógicos;
1.2 - Implicação e Equivalência Lógicas;
1.3 - Formas normais.
2 - Funções reais de variável real;
2.1 - Estudo de algumas funções de variável real;
2.2 - Limites, Continuidade e Diferenciabilidade.

Bibliografia / Fontes de Informação:

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

Métodos e Critérios de Avaliação:

Tipo de Classificação: Quantitativa (0-20)

Metodologia de Avaliação:
De acordo com o previsto para os Cursos Técnicos Superiores Profissionais.