09.05.2013 Views

Algoritmos y Programación en Pascal

Algoritmos y Programación en Pascal

Algoritmos y Programación en Pascal

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

110 Capítulo 6. Instrucciones estructuradas<br />

{La relación ddo = dsor * coc + resto debe cumplirse siempre}<br />

Com<strong>en</strong>zar el bucle<br />

{PostC.: ddo = dsor * coc + resto y 0 0) and (dsor > 0);<br />

{Se ti<strong>en</strong>e ddo > 0 y dsor > 0}<br />

{Cálculos:}<br />

coc:= 0;<br />

resto:= ddo;<br />

{Inv.: ddo = dsor * coc + resto y resto ≥ 0}<br />

while resto >= dsor do begin<br />

resto:= resto - dsor;<br />

coc:= coc + 1<br />

<strong>en</strong>d; {while}<br />

{PostC.: ddo = dsor * coc + resto y 0

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!