LMF2018: Ejercicios de deducción natural con Isabelle/HOL (1)
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los ejercicios 5, 31, 47 y 57 de la relación 4.
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los ejercicios 5, 31, 47 y 57 de la relación 4.
En la cuarta parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los ejercicios de la relación 21, en la que se definen en Maxima funciones para resolver los siguientes problemas de cálculo numérico:
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2018: Ejercicios de programación de cálculo numérico en Maxima”
En la tercera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 20, en la que se definen funciones para resolver los siguientes problemas de cálculo numérico:
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2018: Cálculo numérico en Haskell (2º parte)”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los ejercicios de la relación 18, en el que se comparan distintas soluciones del problema de calcular los caminos en una retícula. Se ha mostrado como transformar las definiciones recursivas en definiciones con programación dinámica. Además, se han comparado experimentalmente la eficiencia de las distintas definiciones.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2018: Programación dinámica: Caminos en una retícula”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de ejercicios de programación dinámica propuestos en Exercitium.
La lista de ejercicios comentados es
También se ha explicado cómo hacer evaluaciones con tiempo acotado.