CC330: Métodos de Apoio à Decisão

(2011/2012)
Departamento de Ciência de Computadores
Faculdade de Ciências da Universidade do Porto

Objectivos

Fornecer experiência na formulação e análise crítica de modelos e métodos de resolução para problemas de decisão interdisciplinares. Desenvolver aptidões para avaliar a complexidade computacional de problemas e escolher apropriadamente algoritmos, linguagens e bibliotecas de programas. Familiarização com técnicas de Programação por Restrições e de Investigação Operacional.

Regência

Ana Paula Tomás

Programa

Formulação de modelos matemáticos para problemas de decisão de diversos domínios (produção, afectação, transporte, escalonamento, fluxo,...). Linguagens de Programação por Restrições. Programação linear, inteira e mista. Optimização discreta. Programação dinâmica. Optimização em grafos e redes: problemas de emparelhamento, fluxo e escalonamento. Introdução aos modelos probabilísticos: modelos markovianos de filas de espera.

Funcionamento e Avaliação


Aulas

  • Exemplos de problemas de exame: consultar os exames de anos anteriores.

    Bibliografia

    Documentação de Software
    ©Ana Paula Tomás, DCC-FC & Universidade do Porto, 2011