IPT Logotipo do IPT

Ano Letivo: 2020/21

Engenharia Informática

Logic and Computation

<< back to Curriculum Plan

Publication in the Diário da República: Despacho n.º16228/2009 - 15/07/2009

6 ECTS; 1º Ano, 2º Semestre, 28,0 T + 14,0 PL + 28,0 TP + 5,0 OT , Cód. 91197.

Lecturer
- Luís Miguel Merca Fernandes (1)(2)

(1) Docente Responsável
(2) Docente que lecciona

Prerequisites
Not applicable.

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

Program
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 written tests and computational projects.
Final assessment:students can choose between a summative written exam comprising all course contents or computer projects and one summative written test.

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

Teaching Method
Lectures, tutorials and laboratory classes.

Software used in class
Not applicable.

 

 

 


<< back to Curriculum Plan
NP4552
Financiamento
b-on
santander
erasmus
catedra
portugal2020
centro2020
compete2020
crusoe
fct
feder
fse
poch
portugal2030
poseur
prr
republica
UE next generation
Centro 2030
Lisboa 2020
co-financiado