Curso de Haskell - Lógica de primer orden en Haskell

Titulo:.pdf

Lógica de primer orden en Haskell

Autor:Forma parte de Openlibra - Etnasoft
Lenguaje:Haskell
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.
Comentarios: 0 Comentar  

Si no se abre el curso automáticamente, pulsa aquí.

Si el enlace es erroneo, comentanoslo aquí.

Revisar política de publicidad