Listar Facultad de Matemáticas por título
Mostrando ítems 245-264 de 471
-
Trabajo Fin de Grado
Invariantes de superficies regladas no desarrollables
(2018-06)In this work, we are going to carry out an analysis of the most studied families in surface geometry, ruled surfaces, that ...
-
Trabajo Fin de Grado
La inversión respecto de una circunferencia
(2022-06-22)La inversión es una transformación en el plano euclídeo extendido, que transforma rectas y circunferencias en rectas y ...
-
Trabajo Fin de Grado
Investigación Epidemiológica: Estudios de caso-control y estudios de cohortes
(2021-09-15)El objetivo principal de este trabajo es ilustrar cómo tratar los estudios de cohortes y de caso-control en el software ...
-
Trabajo Fin de Grado
Iteraciones de funciones racionales sobre la esfera de Riemann
(2022-06-19)The main aim of these notes is to provide some knowledge about Julia set of rational functions. For it, we study iterations ...
-
Trabajo Fin de Grado
Juegos de evasión
(2016-06-20)The goals of the work are twofold. The first one is about the background of mathematics of pursuit and evasion, models ...
-
Trabajo Fin de Grado
Kernels Methods in Machine Learning
(2022-06-24) -
Trabajo Fin de Grado
Laplacianas de digrafos y topologías de Alexandrov
(2018)La teoría algebraica de grafos se ocupa de la relación entre las propiedades de la estructura combinatoria de un grafo y ...
-
Trabajo Fin de Grado
Ley de Benford
(2022-06-22)Benford’s law is a statistical phenomenon that was documented for first time in the nineteenth century. This, also known ...
-
Trabajo Fin de Grado
Leyes de reciprocidad (cuatro demostraciones de la Ley de Reciprocidad Cuadrática)
(2018)A lo largo del siguiente trabajo vamos a profundizar en los contenidos impartidos en la asignatura Estructuras Algebraicas ...
-
Trabajo Fin de Grado
Librería Haskell sobre Model Checking
(2020-06-01)In this project we establish the basic theoretical concepts about F inite State M achines and Model Checking so we can ...
-
Trabajo Fin de Grado
Librería sobre esteganografía en Haskell
(2023-07)Steganography is the art of hiding the fact that comunication is taking place. In this project we present an introduction ...
-
Trabajo Fin de Grado
Librería sobre grafos en Haskell : el problema del camino más corto
(2023-07)The shortest path problem is an important problem in graph theory, consisting in finding paths between two nodes in ...
-
Trabajo Fin de Grado
Lie Groups, Lie Algebras and Representation Theory
(2022-06-15)In Chapter 1, the concepts of a Lie group and a matrix Lie group are introduced, and we construct and study the group ...
-
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 ...
-
Trabajo Fin de Grado
La lógica de la demostrabilidad
(2021-12-02)Our main goal in this work is the study of the arithmetical completeness theorem for GL (presented for first time by ...
-
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 ...
-
Trabajo Fin de Grado
Lógica Epistémica Dinámica
(2023-07)En este trabajo hacemos un repaso de algunas de las principales propuestas en el área de la lógica epistémica dinámica, ...
-
Trabajo Fin de Grado
Lógica epistémica: sintaxis y semántica, completitud, expresabilidad.
(2020)A lo largo de este trabajo nos centraremos en presentar, desarrollar y estudiar diferentes lógicas epistémicas y algunas ...
-
Trabajo Fin de Grado
Lógica minimal, intuicionista y clásica
(2018-06)The classical systems traditionally accepted within formal mathematical reasoning coexists with other branches of logic ...
-
Trabajo Fin de Grado
Machine Learning Techniques for Natural Language Processing
(2023-07)Language is such a powerful tool that enables communication between humans. However, there have been some barriers, ...