SLC2015: Programación en Prolog (2)
En la sesión de hoy del Seminario de lógica computacional hemos continuado es estudio de las extensiones de Prolog como lenguaje de programación, iniciada en la sesión anterior.. En concreto, se ha explicado:
En la sesión de hoy del Seminario de lógica computacional hemos continuado es estudio de las extensiones de Prolog como lenguaje de programación, iniciada en la sesión anterior.. En concreto, se ha explicado:
En la clase de hoy del curso Lógica matemática y fundamentos se ha continuado el estudio de la formalización en Isabelle/HOL de las demostraciones por deducción natural estudiadas en el tema 2 iniciado en la clase anterior.
Para cada uno de los ejemplos se ha presentado distintas demostraciones: detallada (que sea parecida a la mostrada en las transparencias), estructurada y automática.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2016: Deducción natural proposicional en Isabelle/HOL (2)”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los ejercicios de la relación 24 sobre el tipo de datos abstracto de las colas.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2015: Ejercicios con el tipo abstracto de dato de las colas”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los ejercicios de la relación 24 sobre el tipo de datos abstracto de las pilas.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2015: Ejercicios con el tipo abstracto de dato de las pilas”
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la formalización en Isabelle/HOL de las demostraciones por deducción natural estudiadas en el tema 2.
Para cada uno de los ejemplos se ha presentado distintas demostraciones: detallada (que sea parecida a la mostrada en las transparencias), estructurada y automática.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2016: Deducción natural proposicional en Isabelle/HOL”