Opened Access Lógica de primer orden en Haskell
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.
Size: 486.1Kb
Format: PDF


This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)