Ce reprezintă o invariantă de buclă?
Exercițiu original Grile.app pentru Algoritmi și logica programării (FEAA, UAIC Iași), creat cu ajutorul AI. Nu este un subiect oficial de examen. Dă un test grilă la Algoritmi și logica programării
- A.O eroare de compilare
- B.O proprietate adevărată înainte și după fiecare iterație relevantă✓ Corect
- C.O valoare care trebuie să crească obligatoriu
- D.O instrucțiune executată numai după program
Răspuns corect: B – O proprietate adevărată înainte și după fiecare iterație relevantă
Explicație
Invarianta ajută la demonstrarea corectitudinii prin inițializare, menținere și terminare.
Sursă: Exercițiu original Grile.app, creat cu ajutorul AI. Nu este un subiect oficial de examen.