IPT Logotipo do IPT

Ano Letivo: 2021/22

Engenharia Informática

Computational Mathematics

<< back to Curriculum Plan

Publication in the Diário da República: Despacho n.º 8644/2020 - 08/09/2020

6 ECTS; 1º Ano, 2º Semestre, 56,0 TP , Cód. 911934.

- Luís Miguel Merca Fernandes
- Carlos Filipe Perquilhas Baptista

Not applicable.

To provide insight on the main concepts on Logics, Set Theory, Graphs and Numerical Methods, topics that are fundamental on areas such as Networks, System Analysis and Formal Verification.

1 ? Foundations of Logic and Set Theory
2 ? Graphs and digraphs.Application to Trees and Minimum Cost Path problems.
3 ? Nonlinear equations and Systems of Nonlinear Equations
4 ? Polynomial Interpolation
5 ? Numerical Integration
6 ? Numerical Methods for Ordinary First-Order Differential Equations

Evaluation Methodology
Continuous assessment: two closed-book tests marked from 0 to 10. A minimum mark of 3 in each test and an overall mark of 10 exempts students from exam.

Exam-based assessment: an exam (worth 0-20) or resit covering all the material taught (a theoretical and a practical part). Minimum pass mark: 3 in each component and the sum of the 3 must be 10.

- Burden, R. e Faires, J. (1993). Numerical Analysis. (Vol. 1). New York: PWS Publishing Company
- Rosen, K. (1995). Discrete Mathematics and Its Applications. (Vol. 1). Brasil: Mc Graw-Hill
- Pina, H. (1995). Métodos Numéricos. .: McGraw-Hill
- Balakrishnan, V. (2010). Introductory Discrete Mathematics. New York: Dover Publications Inc

Teaching Method
Theoretical-practical lessons.

Software used in class
Not applicable.




<< back to Curriculum Plan