Oi,
acaba de ser disponibilizado no site o conteúdo para hoje. O tema é "corretude de algoritmos recursivos", e a técnica usada é inteiramente baseada na demonstração por indução.
Por favor, não deixem acumular aulas não vistas!! E sempre resolvam todos os exercícios antes da próxima aula. Como já falamos, as aulas serão liberadas sempre às segundas e quartas.
Lembrem-se: sexta-feira teremos nossa primeira aula "live" (os links das salas de cada professor estão na página da disciplina)
um abraço!