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
Teoría de categorías y programación funcional
(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 entre ellos de manera que la composición tenga sentido. Este tipo de estructura ressulta ser muy ...
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
Lógica de primer orden en Haskell
(2017-06)
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 ...
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 ...