Saltar al Contenido

Vestigium

Cuaderno de Investigación en Lógica Computacional

Facebook Twitter Instagram
Vestigium
Cuaderno de Investigación en Lógica Computacional

Día: 22 marzo 2018

LMF2017: Ejercicios de sintaxis y semántica de la lógica de primer orden

PorJosé A. Alonso 22 marzo 201824 marzo 2018

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.

LMF2017: Ejercicios de deducción natural proposicional en Isabelle/HOL (2)

PorJosé A. Alonso 22 marzo 201824 marzo 2018

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.

SLC2018: Datos estructurados en Coq

PorJosé A. Alonso 22 marzo 201825 marzo 2018

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”

marzo 2018
L M X J V S D
 1234
567891011
12131415161718
19202122232425
262728293031  
« Feb   Abr »
  • La semana en Calculemus (25 de mayo de 2024)25 mayo 2024
  • La semana en Calculemus (18 de mayo de 2024)18 mayo 2024
  • La semana en Calculemus (11 de mayo de 2024)11 mayo 2024
  • La semana en Calculemus (4 de mayo de 2024)4 mayo 2024
  • Resumen de lecturas compartidas durante abril de 20244 mayo 2024
  • El mes de abril en Exercitium (Ejercicios con Haskell y Python)3 mayo 2024
  • La semana en Calculemus (27 de abril de 2024)27 abril 2024
  • La semana en Calculemus (21 de abril de 2024)21 abril 2024
  • El mes de marzo en Exercitium (Ejercicios con Haskell y Python)2 abril 2024
  • La semana en Calculemus (16 de marzo de 2024)16 marzo 2024
  • La semana en Calculemus (9 de marzo de 2024)9 marzo 2024
  • La semana en Calculemus (2 de marzo de 2024)2 marzo 2024
  • La semana en Calculemus (24 de febrero de 2024)24 febrero 2024
  • La semana en Calculemus (3 de febrero de 2024)3 febrero 2024
  • La semana en Calculemus (27 de enero de 2024)27 enero 2024
  • La semana en Calculemus (20 de enero de 2024)20 enero 2024
  • La semana en Calculemus (13 de enero de 2024)13 enero 2024
  • La semana en Calculemus (6 de enero de 2024)6 enero 2024
  • La semana en Calculemus (30 de diciembre de 2023)30 diciembre 2023
  • La semana en Calculemus (10 de diciembre de 2023)10 diciembre 2023

Correo electrónico

Introduce tu correo electrónico para suscribirte a este blog y recibir notificaciones de nuevas entradas.

RSS feed

© 2010-2025 Vestigium

Scroll to top
Búsqueda