Teórica 24

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

Raciocínio sobre programas.

Provas por indução natural, princípio da extensionalidade, provas usando resultados auxiliares.