IPT Logotipo do IPT

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

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

Prerequisites

Objectives

Program

Evaluation Methodology

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

Software used in class

 

 

 


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