Buscar
Mostrando ítems 11-20 de 475
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
Aproximación en variable compleja
(2016-09)
In the late Nineteenth Century, Weierstrass showed that any continuous real function in a compact can be uniformly approximated by polynomials, but this theorem is not valid for complex functions. In this context, Runge ...
Trabajo Fin de Grado
Modelos Estadísticos de Riesgo. Aplicaciones Actuariales
(2020)
Risk is an important topic in contemporary society. People are confronted with risks from financial markets, nuclear power plants, natural disasters and privacy leaks in ICT systems, these are just some of the areas in ...
Trabajo Fin de Grado
Teoría de cuerpos de clase
(2021-06-29)
Class field theory studies abelian extensions of a given field using only intrinsic data of the field itself. Moreover, it gives information about the Galois groups of these extensions along with some functorial properties. ...
Trabajo Fin de Grado
Técnicas de minería de datos aplicadas en baloncesto
(2018-06)
En este trabajo, se pretende dar una visión general de las distintas aplicaciones del Machine Learning al deporte y en particular al baloncesto. Se presentan tres bloques muy distintos entre sí para concienciar sobre todas ...
Trabajo Fin de Grado
Modelización y simulaciones numéricas de problemas de control óptimo en modelos biológicos con quimiotaxis
(2022-06-01)
Mathematical modelling and numerical optimization are applications of Mathematics with a huge potencial, being able to help a lot of disciplines appart from Mathematics. In this work, the model of Chemotaxis will be ...
Trabajo Fin de Grado
Controlabilidad de EDOs y EDPs lineales
(2023-06-08)
Trabajo Fin de Grado
Problemas de Elasticidad Lineal: Resultados Teóricos y Numéricos Aplicaciones
(2020)
Solid mechanics studies the physical behavior of solids in general, establishing within it a distinction between rigid solids and deformable solids. Our study is included within the latter, but since it is a fairly extensive ...
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 Solovay in [Sol76]), based on the book The logic of provability by G. Boolos. To reach our goal, we ...
Trabajo Fin de Grado
Una introducción a la teoría de los subespacios invariantes
(2017-06)
Halmos says that one of the most recalcitrant unsolved problems in operator theory is the invariant subspace problem. The question has an easy formulation: Does every bounded linear operator on an infinite dimensional, ...