IPT Logotipo do IPT

Ano Letivo: 2014/15

Engenharia Informática

Lógica e Computação

<< voltar ao Plano Curricular

Publicação em 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.

Docente(s)
- Luís Miguel Merca Fernandes (2)
- Carlos Filipe Perquilhas Baptista (2)

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

Pré-requisitos
Conhecimentos de Álgebra e Análise Matemática I

Objetivos
Aplicar os conceitos fundamentais da Lógica e Teoria de Grafos, essenciais ao estudo de matérias específicas como a Verificação Formal, a Análise de Sistemas e os Problemas de Redes.

Programa
1 – Noções Fundamentais de Teoria de Conjuntos e Lógica
2 – Grafos e digrafos. Árvores e Caminhos.
3 – Equações e Sistemas de Equações Não Lineares
4 – Interpolação Polinomial
5 – Integração Numérica
6 – Métodos Numéricos para Equações Diferenciais Ordinárias de 1ª Ordem.

Metodologia de avaliação
Avaliação por frequência: realização de duas provas escritas e de projectos computacionais. Avaliação por exame: opção entre realização de um teste escrito, sobre toda a matéria lecionada ou projectos computacionais e teste escrito, sobre toda a matéria.

Bibliografia
- Faires, J. e Burden, R. (1993). Numerical Analysis. (Vol. 1). New York: PWS Publishing Company
- Rosen, K. (1995). Discrete Mathematics and Its Applications. (Vol. 1). Brasil: Mc Graw-Hill

Método de Ensino
Aulas teóricas e teórico-práticas, em que se expõem e exemplificam as matérias respeitantes a cada um dos conteúdos programáticos, assim como aulas práticas laboratoriais, onde se estudam as implementações dos algoritmos leccionados.

Software utilizado nas aulas

 

 

 


<< voltar ao Plano Curricular
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