Sumários
3ª Aula
6 Março 2017, 14:00 • João Marques Silva
A terceira aula aprofundou o estudo da modelização de problemas com lógica proposicional. Exemplos concretos incluiram restrições de cardinalidade e pseudo-booleanas. Foi também estudada a representação de CSPs (Constraint Satisfaction Problems) com lógica proposicional. Finalmente foram analisados vários casos de estudos, incluindo problemas em grafos, incluindo a cobertura de vértices ou a coloração de grafos, o problema das N-rainhas, exemplos práticos, incluindo a actualização de pacotes de software ou a depuração de circuitos, e também exemplos paradigmáticos como o Knapsack ou o clique máximo. Finalmente, foi estudada a modelação com lógica proposicional do problema de itemset mining.
2ª Aula
20 Fevereiro 2017, 16:30 • João Marques Silva
A segunda aula estudou a modelização de problemas com lógica proposicional. Foram estudados vários exemplos de modelização, incluindo puzzles lógicos. Também foram apresentados diferentes exemplos de abordagens para modelar problems com lógica proposicional.
Not Taught.
13 Fevereiro 2017, 18:30 • João Marques Silva
Aulas TP com início na 2ª semana de aulas.