Please enable JavaScript.
Coggle requires JavaScript to display documents.
Loops - Coggle Diagram
Loops
-
Exatidão
-
Garantir
-
Se a invariante e a guarda do loop são verdadeiras, então o corpo do loop estabelece a invariante.
Se a invariante é verdadeira e a guarda do loop é falsa, então podemos garantir a pós-condição do loop.
Finito
-
Garantir
-
Se a invariante e a guarda são verdadeiras, então o corpo do loop diminui a variante.
-
-
-
Possui um estado inicial, um final e pode ter muitos estados intermediários.
-