Capítulo 4 (pp. 95–132) de Computer Science I.

Temas

Sección	Página	Contenido
Bucles While	97	Iteración con condición al inicio.
Bucles For	99	Iteración basada en contador.
Bucles Do-While	100	Ejecutar y luego evaluar.
Bucles Foreach	102	Iteración sobre colecciones.
Otros Aspectos	103	Bucles anidados, bucles infinitos, errores comunes, equivalencia de bucles.
Resolución de Problemas Con Bucles	106	Aplicar iteración a problemas.
Ejemplos	107	For vs While, Primality Testing, Paying the Piper.

Ideas Clave

Todas las formas de bucle son equivalentes en poder expresivo; la elección es estilística/de claridad.
Los bucles infinitos y los errores por uno (off-by-one) son los modos de falla clásicos.
Los ejemplos Paying the Piper y de bucles anidados reaparecen en las partes de lenguajes.
Foreach se relaciona con arrays y colecciones.

suma ← 0
i ← 1
mientras i ≤ n:
  suma ← suma + i
  i ← i + 1

Acumula 1..n.

fact ← 1
para i desde 2 hasta n:
  fact ← fact × i

El mismo resultado que un bucle mientras — las formas de bucle son equivalentes.

int sum = 0;
for (int i = 1; i <= n; i++)   // suma 1..n
    sum += i;

long fact = 1;
for (int i = 2; i <= n; i++)   // n!
    fact *= i;

[1] Computer Science I, Cap. 4, pp. 95–132.