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
