En la clase de hoy, se ha presentado el curso Lógica Informática siguiendo el plan de la asignatura. Se ha comentado el contenido de la asignatura, el sistema de evaluación y los materiales de la asignatura en la Red:
El curso Lógica informática (de 2º de Grado en Ingeniería Informática) comienza el martes 22 de septiembre.
Las clases son los martes y jueves de 10:30 a 12:30 en el aula A0.11 de la ETSII.
La página con los materiales del curso se encuentra aquí.
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de los ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL.
Para cada uno de los ejercicios se ha presentado distintas demostraciones: desde la detallada (que sea parecida a la mostrada en las transparencias) hasta la automática.
La teoría con la relación de ejercicios y sus soluciones es la siguiente
Read More “LMF2015: Ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL”
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica de primer orden.
Las transparencias de estas clases son las del tema 8.
A la vez que se presentaba las reglas, se ha comentado su formalización en Isabelle/HOL. La teoría correspondiente es
Read More “LMF2015: Deducción natural en lógica de primer orden”
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de los ejercicios de deducción natural en lógica proposicional con Isabelle/HOL.
Para cada uno de los ejercicios se ha presentado distintas demostraciones: desde la detallada (que sea parecida a la mostrada en las transparencias) hasta la automática.
La teoría con la relación de ejercicios y sus soluciones es la siguiente
Read More “LMF2015: Ejercicios de deducción natural en lógica proposicional con Isabelle/HOL”