Listar Facultad de Matemáticas por autor "Cordón Franco, Andrés"
Mostrando ítems 1-8 de 8
-
Trabajo Fin de Grado
Aspectos matemáticos de la semántica de los programas lógicos normales
López Palmero, María (2020)El presente trabajo se enmarca en el campo de la Programación Lógica y, más concretamente, en el estudio de la semántica ...
-
Trabajo Fin de Grado
El Axioma de Determinación
Ferre Luque, Antonio (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
Eliminación de cuantificadores para cuerpos algebraicamente cerrados y cuerpos reales cerrados
Ruiz Cardoso, Antonio Miguel (2022-06-22)El proyecto tiene como objetivo estudiar la Teor´ıa de Modelos de los cuerpos algebraicamente cerrados y los cuerpos reales ...
-
Trabajo Fin de Grado
Fundamentos lógicos de la Inteligencia Artificial: razonamiento no monótono
Darche, Arnaud (2019-09)La lógica tradicional resulta muy útil para formalizar razonamientos matemáticos: teoremas, definiciones... en los que se ...
-
Trabajo Fin de Grado
Una introducción a la programación con conjuntos de respuesta. Aplicaciones
Jiménez Núñez, Marina (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 ...
-
Trabajo Fin de Grado
Lógica Epistémica Dinámica
Romero Vinogradov, Alexander (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.
Martínez Rial, Carlos David (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
Subsistemas de la Aritmética de Segundo Orden y Matemática Inversa
Sierra Miranda, Borja (2022-06-20)Este trabajo de fin de grado consiste en una introducción a la matemática inversa. En ´el introduciremos la aritmética ...