- 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 "Hidalgo Doblado, María José"
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
Álgebra constructiva en Haskell
González Martín, Ángela (2018)El objetivo de este trabajo es representar las estructuras algebraicas en un lenguaje de programación funcional. Para ello, ...
-
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
Una introducción a la programación con conjuntos de respuesta. Aplicaciones
Jiménez Núñez, Marina (2022-06-22)The main objective of this paper is to present the answer set programming paradigm as a tool to model and solve combinatorial ...
-
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
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 ...