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”