Módulo 08 — Correção, testes e depuração lógica
Objetivo: Aprender a testar regras, trabalhar com fronteiras, invariantes, contraexemplos e depuração baseada em evidências.
Este módulo foi planejado para construir raciocínio passo a passo. As cinco aulas conceituais devem ser estudadas na ordem; depois o laboratório combina os conceitos em uma tarefa maior e os exercícios verificam se você consegue reconstruir as ideias sem copiar.