Na página onde estão os enunciados das listas de exercícios estão dois gabaritos.
O da lista 1 conta com a experiência do monitor: além das soluções, aponta alguns erros que ele encontrou durante a correção (infelizmente, ainda não conseguiu acabar de corrigir).
O da lista 2 não aponta erros, mas deve servir de orientação para que tipo de argumentos eu quero ver numa demonstração - exceto que não detalhei a indução em alguns casos, mas eu espero que vocês detalhem, para me convencer de que sabem o que estão fazendo.
Eu não estarei muito disponível para tirar dúvidas pessoalmente antes da prova - só hoje (sexta) de manhã, depois das 10. Mas estarei lendo o fórum e responderei as perguntas pertinentes lá.
Fórum