Listar Facultad de Matemáticas por autor "Lara Martín, Francisco Félix"
Mostrando ítems 1-7 de 7
-
Trabajo Fin de Grado
El Axioma de Determinación
(2020)The aim of this work is to study the consequences of assuming the axiom of determinacy regarding perfect set property, ...
-
Trabajo Fin de Grado
Complejidad computacional y álgebra de funciones
(2016-09)Usually, computational complexity classes are given explicitly using computation models and certain restrictions on available ...
-
Trabajo Fin de Grado
Fundamentos de IA para el ajedrez
(2019)El presente trabajo tiene como objetivo la introducción y desarrollo de los fundamentos teóricos de algunas técnicas ...
-
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 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
El teorema de Goodstein
(2021-06-02)Este trabajo se centra en el Teorema de Goodstein. El primer objetivo será demostrarlo. Para ello, debemos introducir al ...
-
Trabajo Fin de Grado
Teoría de conjuntos finitos
(2023-06)La Teoría de Conjuntos es un área del conocimiento comprendida entre la Lógica y las Matemáticas dedicada a la fundamentación ...