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. |
URI: http://hdl.handle.net/11441/63139
Mostrar el registro completo del ítem