Lógica y MD 16/17
Para hoy, 12/9, tenéis los siguientes deberes:
- Repasar la clase de hoy. Se han dicho cosas importantes y profundas. En particular, repasar la definición del principio de recursión estructural.
- Rehacer el problema 1.3.6.
- De la sección 1.4, leer desde el principio hasta la definición 1.4.3 incluida.
- Hacer los problemas 1.4.1 y 1.4.2.
Estad atentos a esos malos hábitos de leer superficialmente la teoría y no conectarla con los problemas.
