Buscar
Mostrando ítems 1-8 de 8
Trabajo Fin de Grado
Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores
(2022-06-15)
Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, computer science, logic, and artificial intelligence. Computational Logic try to produce efficient and ...
Trabajo Fin de Grado
Matemática discreta en Haskell
(2017-06)
Discrete mathematics is characterized as the branch of mathematics dealing with finite and numerable sets. Concepts and notations from discrete mathematics are useful in studying and describing objects and real-life problems. ...
Trabajo Fin de Grado
Análisis formal de conceptos desde el punto de vista de la programación funcional
(2016-06)
Formal Concept Analysis is a mathematical theory of data analysis with growing popularity across various domains such as psichology, biology, mathematics, medicine or industrial engineering. Formal Concept Analysis analyzes ...
Trabajo Fin de Grado
Criptografía desde el punto de vista de la programación funcional
(2016)
The present paper aims to explain cryptography from the point of view of functional programming. In order to accomplish this goal, we would use Haskell to write the code about many cryptosystems. In addition, we would verify ...
Trabajo Fin de Grado
Álgebra constructiva en Haskell
(2018)
El objetivo de este trabajo es representar las estructuras algebraicas en un lenguaje de programación funcional. Para ello, hemos usado Haskell. Mediante el uso de clases de tipos se han especificado las nociones de anillo, ...
Trabajo Fin de Grado
Elementos de matemáticas formalizados en Isabelle/HOL
(2020)
La finalidad de este trabajo es la formalización de teoremas de diferentes teorías de las matemáticas. Para ello, se han elegido una serie de teoremas de la teoría de números, teoría de conjuntos, teoría de funciones, ...
Trabajo Fin de Grado
Una introducción a la programación con conjuntos de respuesta. Aplicaciones
(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 problems, in general, and especially NP-complete or NP-hard problems. First, in chapters 1 ...
Trabajo Fin de Grado
Elementos de lógica formalizados en Isabelle/HOL
(2020)
El objetivo de la Lógica es la formalización del conocimiento y su razonamiento. En este trabajo, estudiaremos elementos de la lógica proposicional desde la perspectiva teórica de First−Order Logic and Automated Theorem ...