Lógica de primer orden en Haskell
Haskell
Publicado el 14 de Febrero del 2018 por Administrador
1.574 visualizaciones desde el 14 de Febrero del 2018
La lógica de primer orden o lógica de predicados nace como una extensión de la lógica proposicional ante algunas carencias que ésta presenta. La lógica proposicional tiene como objetivo modelizar el razonamiento y nos aporta una manera de formalizar las demostraciones.
En este trabajo se pretende realizar una implementación en Haskell de la teoría impartida en la asignatura "Lógica matemática y fundamentos" del grado en matemáticas. Para ello, se lleva a cabo la adaptación de los programas del libro de J. van Eijck "Computational semantics and type theory" y su correspondiente teoría.
En formato pdf. Contiene 130 páginas.
En este trabajo se pretende realizar una implementación en Haskell de la teoría impartida en la asignatura "Lógica matemática y fundamentos" del grado en matemáticas. Para ello, se lleva a cabo la adaptación de los programas del libro de J. van Eijck "Computational semantics and type theory" y su correspondiente teoría.
En formato pdf. Contiene 130 páginas.
60 visualizaciones durante los últimos 90 días