Hola,
Acabo de hacer un par de modificaciones a la letra del práctico 1. En caso que ya hubieran bajado la letra háganlo de nuevo.
* agregué la aclaración de que el predecesor de cero es cero.
* modifiqué la definición de la función suma en el ejercicio 8 (para que sea equivalente a la def. que aparece en el ejercicio 7). Simplemente le agregué un +1.
Saludos,
Alberto.