En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos continuado el estudio de las definiciones por recursión en Haskell. Concretamente, hemos visto ejemplos de recursión sobre varios argumento, recursión múltiple y de recursión mutua. También hemos comentado el método para construir funciones recursivas.
Las transparencias usadas en la clase son las las páginas 10 a 24 del tema 6:
Read More “I1M2013: Definiciones por recursión (2)”
En la clase de hoy del curso Lógica Informática se ha completado el estudio de la semántica de la lógica de primer orden introduciendo los conceptos de consistencia, consecuencia lógica y equivalencia. Se ha explicado la metodología de búqueda semántica de modelos y contramodelos.
Las transparencias de esta clase son las páginas 35 a 45 del tema 7:
Read More “LI2013: Semántica de la lógica de primer orden”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos iniciado el estudio de las definiciones por recursión en Haskell. Concretamente, hemos visto ejemplos de recursión sobre los números naturales y recursión sobre listas.
Las transparencias usadas en la clase son las las páginas 1 a 10 del tema 6:
Read More “I1M2013: Definiciones por recursión (1)”
En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se han comentado las soluciones de los ejercicios 8 a 14 de la 5ª relación sobre definiciones por comprensión.
Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2013: Ejercicios de definiciones por comprensión (5)”
En la clase de hoy del curso Lógica Informática se han comentado soluciones de los ejercicios 21 a 25 del tema 5 del libro de ejercicios.