La clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones de los restantes ejercicios de la 10ª relación y los 6 primeros de la 11ª relación
Los ejercicios, y sus soluciones, se muestran a continuación. Los de la relación 10 son
Read More “I1M2011: Ejercicios con funciones de orden superior en Haskel1”
En la clase de hoy del curso Lógica Informática se ha presentado la resolución en la lógica de primer orden como ampliación del presentado en el tema 5 para la lógica proposicional.
Las principales diferencias se encuentran en la unificación, separación de variables y factorización.
Además, se ha presentado el sistema Prover9 que busca automáticamente demostraciones por resolución.
Como tarea pendientes se propone la resolución de los ejercicios del tema 11 del libro de ejercicios.
Las transparencias de esta clase son las del tema 11
Read More “LI2011-12: Resolución en lógica de primer orden”