Lógica de primer orden en Haskell

Cites

Show item statistics

Export to

Author:	Paluzo Hidalgo, Eduardo
Director:	Alonso Jiménez, José Antonio
Department:	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date:	2017-06
Document type:	Final Degree Work
Academic Title:	Universidad de Sevilla. Grado en Matemáticas
Abstract:	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.