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

Imágen de perfil

.pdfLógica de primer orden en Haskellgráfica de visualizaciones


Haskell

estrellaestrellaestrellaestrellaestrella
estrellaestrellaestrellaestrella
estrellaestrellaestrella
estrellaestrella
estrella
Publicado el 12 de Septiembre del 2017 por Administrador
819 visualizaciones desde el 12 de Septiembre del 2017. Una media de 14 por semana
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.

Forma parte de Openlibra - Etnasoft
 
  • Links de descarga

Si alguno de los archivos de descarga no funciona, comentanos aquí el error.




Comentarios... (0)


No hay comentarios
 

Comentar

Nombre
Correo (no se visualiza en la web)
Valoración
Comentarios
Es necesario revisar y aceptar las políticas de privacidad

http://lwp-l.com/c9082  
Revisar política de publicidad