Logic and Computation
6 ECTS; 1º Ano, 2º Semestre, 28,0 T + 14,0 PL + 28,0 TP + 5,0 OT
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
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.
- Rosen, K. (1995). Discrete Mathematics and Its Applications. (Vol. 1). Brasil: Mc Graw-Hill
- Burden, R. e Faires, J. (1993). Numerical Analysis. (Vol. 1). New York: PWS Publishing Company
Method of interaction
Lectures, tutorials and laboratory classes.
Software used in class