Raonament amb invariants

Aquesta lliçó introdueix el raonament amb invariants, una metodologia per dissenyar i analitzar bucles en programes. El contingut, amb animacions, es troba en aquest powerpoint.

Jordi Cortadella, Jordi Petit
Lliçons.jutge.org
© Universitat Politècnica de Catalunya, 2025