Estes exercícios foram propostos e executados na disciplina MC102 -- Introdução à Lógica de Programação, da Unicamp, no primeiro semestre de 2018. A resolução foi feita em python3, e prints do resultado dos testes (usando o sistema Susy disponibilizado por eles) está anexado.