
Lógica de primer orden en Haskell
Eduardo Paluzo Hidalgo
Lógica de primer orden en Haskell
Eduardo Paluzo Hidalgo
Detalles del libro:
Año: | 2017 |
Editor: | Universidad de Sevilla |
Páginas: | 130 páginas |
Idioma: | español |
Desde: | 06/09/2017 |
Tamaño: | 487 KB |
Licencia: | CC-BY-NC-SA |
Contenido:
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.
Categorías:
Etiquetas:
Cargando comentarios...
Escaneando listas...
El libro en números
posición en categorías
en catálogo desde
06/09/2017puntuación
69votos
14'LIKES' sociales
1Visitas
Descargas
Interés
Segmentación por países
Páginas de entrada
Segmentación por sitios web
evolución
Cargando...