Informar del error en el cursos: Lógica de primer orden en Haskell

Imágen de perfil

internetLógica de primer orden en Haskell


Haskell

Publicado el 14 de Febrero del 2018 por Administrador
1.608 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.
Informar del error en el cursos

Si quieres que te notifiquemos en el momento que solucionemos el enlace al cursos:
'Lógica de primer orden en Haskell', indicanos tus datos.

Si por el contrario simplemente solo quieres avisarnos del problema, pulsa en el botón enviar sin añadir tus datos.

Nombre:
Correo:
Comentarios