Matemática - Redes e Sistemas Informáticos - Sem Ramos - Especialidades

ECTS / Credit Units
Year: 1 / 1º Semestre
Plan: 2015/16
Scientific Area: MAT
Level: Básico

Semestral Hour Load

Theorical-Pratical: 64.00
Pratical and Laboratorial:


Assigned Internship Hours:
Assigned Projects Hours:
Assigned Fieldwork Hours:
Assigned Study Hours:
Assigned Evaluation Hours:

Degree having this Course

Degree - Branch Degree Plan Year
Redes e Sistemas Informáticos - Sem Ramos - Especialidades 2015/16

Teaching Staff

Luís Elias Ribeiro Rodrigues
Luís Elias Ribeiro Rodrigues

Responsável pelas Pautas
Ensino teórico-prático

Course Information

Course Objectivs

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

Evaluation Criteria

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

The first frequency about propsicional logic, in the middle of the semester.

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

Program Resume (get program detail)

Logical propositional.

Real functions of real variable.

Main Bibliography

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.


Other Biographical Sources / Support Documents

Oliveira, A. J. F.; Lógica e Aritmética; Gradiva; 2010

Student Support

Attendance to students is on Tuesdays between 11 am and 1 pm.

Associated Links


O Atendimento aos alunos é nas terças-feiras entre as 11 horas e as 13 horas.


Connect to Forum MatemáticaLink Externo