Come posso "applicare" un loop invariante?
-
06-11-2019 - |
Domanda
Un problema di compiti a casa che ho chiesto di "dichiarare" un loop invariante, quindi "dimostrarlo", quindi "applicare". Ricevo stato e dimostrano, ma il mio libro di testo non indica esplicitamente come "applicare" un loop invariante.
Nessuna soluzione corretta
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange