Browsing Facultad de Matemáticas by Author "Alonso Jiménez, José Antonio"
Now showing items 1-8 of 8
-
Final Degree Project
Análisis formal de conceptos desde el punto de vista de la programación funcional
Najarro Gómez, María (2016-06)Formal Concept Analysis is a mathematical theory of data analysis with growing popularity across various domains such as ...
-
Final Degree Project
Criptografía desde el punto de vista de la programación funcional
Rodríguez Chavarría, Daniel (2016)The present paper aims to explain cryptography from the point of view of functional programming. In order to accomplish ...
-
Final Degree Project
Elementos de lógica formalizados en Isabelle/HOL
Santiago Fernández, Sofía (2020)El objetivo de la Lógica es la formalización del conocimiento y su razonamiento. En este trabajo, estudiaremos elementos ...
-
Final Degree Project
Elementos de matemáticas formalizados en Isabelle/HOL
Núñez Fernández, Carlos (2020)La finalidad de este trabajo es la formalización de teoremas de diferentes teorías de las matemáticas. Para ello, se han ...
-
Final Degree Project
Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores
Mateo Ceballos, María Dolores (2022-06-15)Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, computer ...
-
Final Degree Project
Lógica de primer orden en Haskell
Paluzo Hidalgo, Eduardo (2017-06)This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional ...
-
Final Degree Project
Matemática discreta en Haskell
Valverde Rodríguez, María Dolores (2017-06)Discrete mathematics is characterized as the branch of mathematics dealing with finite and numerable sets. Concepts and ...
-
Final Degree Project
Teoría de categorías y programación funcional
Pedraza López, Diego (2018)En esencia, la teoría de categorías es el estudio de la composición. Una categoría es una colección de objetos y morfismos ...