En la clase de hoy del curso Lógica Informática de han comentado las soluciones de ejercicios de resolución en lógica de primer orden. Concretamente, desde el ejercicio 13 al 14.5 del capítulo 12 del libro de ejercicios.
En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se han comentado las soluciones de los 5 primeros ejercicios 12ª relación. En los ejercicios se piden definiciones de funciones de orden superior y con plegados.
Los ejercicios y soluciones se muestran a continuación
Read More “I1M2013: Ejercicios sobre funciones de orden superior y plegados”