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.