Lógica de primer orden en Haskell

dc.contributor.advisor	Alonso Jiménez, José Antonio	es
dc.creator	Paluzo Hidalgo, Eduardo	es
dc.date.accessioned	2017-07-26T07:00:56Z
dc.date.available	2017-07-26T07:00:56Z
dc.date.issued	2017-06
dc.identifier.citation	Paluzo Hidalgo, E. (2017). Lógica de primer orden en Haskell. (Trabajo Fin de Grado Inédito). Universidad de Sevilla, Sevilla.
dc.identifier.uri	http://hdl.handle.net/11441/63139
dc.description.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.	es
dc.format	application/pdf	es
dc.language.iso	spa	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Lógica de primer orden en Haskell	es
dc.type	info:eu-repo/semantics/bachelorThesis	es
dc.type.version	info:eu-repo/semantics/publishedVersion	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.contributor.affiliation	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial	es
dc.description.degree	Universidad de Sevilla. Grado en Matemáticas	es
idus.format.extent	130 p.	es

Ficheros	Tamaño	Formato	Ver	Descripción
Paluzo Hidalgo Eduardo TFG.pdf	486.1Kb	[PDF]	Ver/Abrir

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional