Día: 6 marzo 2018

LMF2017: Deducción natural proposicional con Isabelle/HOL

PorJosé A. Alonso 6 marzo 201813 marzo 2018

En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional con Isabelle/HOL.

« 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

Buscar

Correo electrónico

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

Type your email…

Buscar: