En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de ejercicios sobre la sintaxis y semántica de la lógica de primer orden. Concretamente, los ejercicios 1, 6 y 7 de la quinta relación.
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de ejercicios de deducción natural con Isabelle/HOL. Concretamente, los ejercicios 57 y 58 de la cuarta relación.
En la sesión de hoy del Seminario de Lógica Computacional Jorge Catarecha Otero-Saavedra ha explicado cómo definir datos estructurados (pares, listas, multiconjuntos y diccionarios) en Coq y cómo demostrar sus propiedades.
La teoría, junto con los ejercicios, utilizados en la exposición son
Read More “SLC2018: Datos estructurados en Coq”
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 30, en el que se comparan distintas soluciones del problema del apilamiento de barriles. 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 “I1M2017: Programación dinámica: Apilamiento de barriles”
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 29, 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 “I1M2017: Programación dinámica: Caminos en una retícula”