- idUS
- Trabajos Académicos
- Trabajos Fin de Grado (TFG)
- Facultad de Matemáticas
- Grado en Matemáticas
- Listar Grado en Matemáticas por autor
Listar Grado en Matemáticas por autor "Alonso Jiménez, José Antonio"
Mostrando ítems 1-8 de 8
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...
-
Trabajo Fin de Grado
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 ...