En la clase de hoy, se ha presentado el curso Lógica matemática y fundamentos 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:
Las clases del curso Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) comenzarán el martes 7 de febrero en el aula 02 del Edificio Central.
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo construir un programa para determinar si una fórmula es una tautología.
Para ello se consideran las siguientes fases:
Los apuntes correspondientes a la clase son
El código correspondiente es
Read More “I1M2016: Programa en Haskell para reconocer tautologías”
En la clase de hoy del curso de Lógica matemátca y fundamentos” 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.
Las transparencias de esta clase son las del tema 12
En la primera parte de la clase de hoy del curso de Lógica matemática y fundamentos se ha estudiado cómo diseñar un procedimiento de forma que dada una fórmula F obtenga otra G que sólo tenga cuantificadores al principio, que su cuerpo esté en forma normal conjuntiva y que sea equisatisfacible con F (es decir, que G es satisfacible precisamente si lo es F). Con dicho procedimiento se calcula la forma normal de Skolem.
A continuación se ha estudiado la sintaxis y la semántica de la lógica clausal de primer orden.
Mediante las formas de Skolem, se obtien un algoritmo que dado un conjunto S de fórmulas de primer orden obtiene un conjunto de cláusulas S’ tal que S y S’ son equiconsistentes. De esta forma, el problema de consecuencia en la lógica de primer orden se reduce al de consistencia de un conjunto de cláusulas.
Las transparencias usadas son las del tema 10.