Opened Access Lógica de primer orden en Haskell
Estadísticas
Icon
Exportar a
Autor: Paluzo Hidalgo, Eduardo
Director: Alonso Jiménez, José Antonio
Departamento: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Fecha: 2017-06
Tipo de documento: Trabajo Fin de Grado
Titulación: Universidad de Sevilla. Grado en Matemáticas
Resumen: This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional programming language. Furthermore, a relation between maths and programming based on Curry-Howard correspondence is established, giving an intuitive sort of examples. Moreover, it aims to give an introduction to Haskell and other sources as git and doctest.
Tamaño: 486.1Kb
Formato: PDF

URI: http://hdl.handle.net/11441/63139

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones