Disseny iteratiu

Capítols

1. 4.1
   Invariants

   L'invariant és el que és cert a cada volta del bucle. Si el tries bé, el codi gairebé s'escriu sol.

   Llegit
2. 4.2
   Correctesa de programes iteratius

   Justificar que un bucle fa el que diu: l'invariant es manté, en sortir es compleix la postcondició i el bucle acaba.

   Llegit
3. 4.3
   Esquemes de recorregut i de cerca

   Els dos esquemes que resolen la majoria de problemes iteratius sobre seqüències.

   Llegit
4. 4.4
   Consolidació

   Repàs de tot el tema en una sola pàgina: les idees clau de cada capítol, com encaixen entre elles i els errors més habituals. Ideal per repassar abans de l'examen.

   Llegit