Logic and Computation

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

ECTS; º Ano, , 0,0 T + 0,0 PL + 0,0 TP + 0,0 P + 0,0 TC + 0,0 S + 0,0 E + 0,0 OT + 0,0 O

Lecturer

Prerequisites

Objectives

Program

Evaluation Methodology

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

Method of interaction

Software used in class