Primero de todo, id a publicaciones y haceros con la hoja de problemas de inducción.

Los deberes para estos días son:

  1. Repasar exhaustivamente la lógica de proposiciones y de predicados.
  2. Revisar la solución del examen de lógica que hicistéis el finde. Pensar en qué podríais mejorar vuestra respuesta, sobre todo desde el punto de vista de la claridad de pensamiento y de la escritura.
  3. De la hoja de problemas, leer la sección 3.1. Después de hacerlo, ir a internet y buscar ejemplos de inducción y recursividad que sean aplicables a la computación. Os pediré que los expliquéis en clase.
  4. Leer, de nuevo,  la sección sobre inducción del documento de escritura.
  5. De la sección 3.2 de la hoja de problemas, hacer desde el principio hasta el 3.2.14. Recordar que no os veo en una semana.

Estoy pensando en daros un examen real de lógica que ponga yo para el fin de semana. Lo haré cuando vuelva de Irlanda. Estad preparados ~(o `▽´ )oΨ

 

Go to top