Lógica y MD 16/17
Lo primero es comprar la hoja de problemas, que ya está en publicaciones.
Los deberes para hoy son los siguientes:
- Estudiar de nuevo la introducción del tema de inducción.
- Hacer el ejercicio 3.2.1. Usad internet si es necesario.
- Estudiar la demostración del teorema 3.2.3 otra vez y asimilar lo que hemos discutido en clase hoy. Recomiendo que leáis otra vez la demostración del libro en el tema de inducción y recursividad. Si es necesario, hacer el ejercicio 3.2.4.
- Hacer el problema 3.2.7.
- Del problema 3.2.9, hacer los apartados (b) y (c).
- Hacer el problem 3.2.10.