Sumários
Aula 6
13 Março 2018, 12:00 • Cândida Mourão
Programação por Metas: Introdução; Formalização de Problemas com Metas não Hierarquizadas; Resolução no Solver.
Aula 2
20 Fevereiro 2018, 12:00 • Cândida Mourão
Complementos de PL: Introdução. Hipóteses, Definições e Propriedades da PL; Resolução Gráfica.