Lógica y MD 16/17
Los deberes de estos dos días están divididos en dos partes:
PARTE 1: Es para hoy nada más.
- Estudiar el teorema 3.2.15 y tratar de dar una prueba del mismo. Debería ser una prueba muy similar a del teorema de la inducción ordinaria.
- Hacer desde el problema 3.2.3.
- Hacer el problema 3.2.17. Si al cabo de un rato razonable no os sale, mirad la demostración en el libro. Es el ejemplo 4.2.4 de la página 94.
- Repasar lógica.
PARTE 2: Es para mañana y necesitáis comprar la hoja de problemas de recursión, que ya está disponible en publicaciones.
- Del libro leer la sección 4.3 salvo la sección 4.3.3.
- De la hoja de problemas de recursión leer la sección 3.3 haciendo los ejemplos y ejercicios en ella.
- De la hoja de problemas de recursión, hacer del 3.4.1 hasta el 3.4.2.
- Repasar lógica.