Teórica 23

12 Dezembro 2022, 15:00 • Diogo Miguel Ferreira Poças

Raciocínio sobre programas.

Algumas provas simples, provas por indução estrutural.