Trabajo Fin de Grado
Lógica de primer orden en Haskell
Autor/es | Paluzo Hidalgo, Eduardo |
Director | Alonso Jiménez, José Antonio |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2017-06 |
Fecha de depósito | 2017-07-26 |
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 ... 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. |
Cita | Paluzo Hidalgo, E. (2017). Lógica de primer orden en Haskell. (Trabajo Fin de Grado Inédito). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Paluzo Hidalgo Eduardo TFG.pdf | 486.1Kb | [PDF] | Ver/ | |