En la sesión de hoy del Seminario de Lógica Computacional Ángel Ruiz Campos ha explicado la programación funcional en Coq.
La teoría, junto con los ejercicios, utilizados en la exposición son
Read More “SLC2018: Programación funcional en Coq”
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado las soluciones de los ejercicios de la segunda relación y los ejercicios 1 y 6 de la tercera relación.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Read More “Resumen de lecturas compartidas (febrero de 2018)”